diff --git a/ExtendedRelationOntology.ttl b/ExtendedRelationOntology.ttl index 859c8b6..f169c0c 100644 --- a/ExtendedRelationOntology.ttl +++ b/ExtendedRelationOntology.ttl @@ -392,9 +392,9 @@ cco:has_input rdf:type owl:ObjectProperty ; cco:has_member_of_located_in rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000040 ; - cco:definition "An instance of an Object Aggregate 'has member of located in' an instance of some material entity if and only if every member of that Aggregate is located in the same instance of that material entity."@en ; + cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:label "has member of located in"@en . + rdfs:label "has all members of located in"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/has_object diff --git a/ModalRelationOntology.ttl b/ModalRelationOntology.ttl index 1662433..02430c0 100644 --- a/ModalRelationOntology.ttl +++ b/ModalRelationOntology.ttl @@ -1192,9 +1192,9 @@ mro:has_member_of_located_in rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000040 ; - cco:definition "An instance of an Object Aggregate 'has member of located in' an instance of some material entity if and only if every member of that Aggregate is located in the same instance of that material entity."@en ; + cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; cco:is_curated_in_ontology ; - rdfs:label "has member of located in"@en . + rdfs:label "has all members of located in"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_mother