github/CommonCoreOntologies
1
1
Fork 0
mirror of https://github.com/CommonCoreOntology/CommonCoreOntologies.git synced 2026-04-27 03:00:27 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #350 from cameronmore/259-use-of-instance-of-in-has-member-of-located-in-definition-and-other-ero-definitions

Browse Source 
259 use of instance of in has member of located in definition and other ero definitions
This commit is contained in:
J. Neil Otte
2024-08-18 15:13:04 -04:00
committed by GitHub
parent 418899dd0c aa4d36b493
commit ca0a46e75a
2 changed files with 22 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
ExtendedRelationOntology.ttl
View File

@@ -390,11 +390,12 @@ cco:has_input rdf:type owl:ObjectProperty ;
### http://www.ontologyrepository.com/CommonCoreOntologies/has_member_of_located_in
cco:has_member_of_located_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf cco:has_some_member_of_located_in ;
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 all members 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
@@ -429,6 +430,14 @@ cco:has_process_part rdf:type owl:ObjectProperty ;
rdfs:label "has process part"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/has_some_member_of_located_in
cco:has_some_member_of_located_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf owl:topObjectProperty ;
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 at least one 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 some member of located in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/inheres_in_aggregate
cco:inheres_in_aggregate rdf:type owl:ObjectProperty ;
rdfs:domain [ rdf:type owl:Class ;

14
ModalRelationOntology.ttl
View File

@@ -1189,12 +1189,12 @@ mro:has_maternal_uncle rdf:type owl:ObjectProperty ;
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_member_of_located_in
mro:has_member_of_located_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:subPropertyOf mro:has_some_member_of_located_in ;
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 all members 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/ModalRelationOntology> ;
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
@@ -1368,6 +1368,14 @@ mro:has_sister_in_law rdf:type owl:ObjectProperty ;
rdfs:label "has sister in law"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_some_member_of_located_in
mro:has_some_member_of_located_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
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 at least one member of x is located in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology"^^xsd:anyURI ;
rdfs:label "has some member of located in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_son
mro:has_son rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_parent_of ;