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

definition inheres in aggregate

Browse Source
This commit is contained in:
oliviahobai
2025-01-22 18:49:48 -05:00
committed by GitHub
parent 71057cae8f
commit 7e6ed51ccb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/cco-extensions/ModalRelationOntology.ttl
View File

@@ -1051,7 +1051,7 @@ mro:ont00001809 rdf:type owl:ObjectProperty ;
] ;
rdfs:range obo:BFO_0000027 ;
rdfs:label "inheres in aggregate"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "x inheres_in_aggregate y iff x is an instance of Specifically Dependent Continuant and y is an instance of Object Aggregate and z is an instance of Object, such that z bearer_of x, and all other members of y are bearers of a unique instance of the same type as x."@en ;
<http://www.w3.org/2004/02/skos/core#definition> "x inheres_in_aggregate y iff x is an instance of Specifically Dependent Continuant or Generically Dependent Continuant and y is an instance of Object Aggregate and y aggregate_bearer_of x."@en ;
cco:ont00001760 <https://www.commoncoreontologies.org/ModalRelationOntology> .