Property:Defined in

A relation between a has domain::type and an has range::ontology