Ontologies in grakn Basic Formal Ontology-based upper ontology, with mid- and domain-level ontologies ported to Grakn schemae