| •owl:Thing |
| •Ontology |
| •NamedOntology |
| •FoundationalModelOfAnatomy |
| NamedOntology |
| hasDomain SOME (Anatomy AND (ofOrganism SOME Human)) |
Class(FoundationalModelOfAnatomy partial NamedOntology
restriction(hasDomain someValuesFrom(intersectionOf(Anatomy
restriction(ofOrganism someValuesFrom(Human))))))