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

Adding asserted parent to equivalency axiom

Browse Source
This commit is contained in:
Mark Jensen
2023-03-05 21:05:24 -05:00
parent bc2eee1363
commit e96488bfd8
1 changed files with 14 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
EventOntology.ttl
View File

@@ -1259,9 +1259,13 @@ cco:BrillianceFrequency rdf:type owl:Class ;
### http://www.ontologyrepository.com/CommonCoreOntologies/Cause
cco:Cause rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty cco:is_cause_of ;
owl:someValuesFrom obo:BFO_0000003
owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000015
[ rdf:type owl:Restriction ;
owl:onProperty cco:is_cause_of ;
owl:someValuesFrom obo:BFO_0000003
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf obo:BFO_0000015 ;
cco:definition "A Process that is the cause of or one of the causes of some other Process."@en ;
@@ -1450,9 +1454,13 @@ cco:DeltaV rdf:type owl:Class ;
### http://www.ontologyrepository.com/CommonCoreOntologies/Effect
cco:Effect rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty cco:caused_by ;
owl:someValuesFrom obo:BFO_0000003
owl:equivalentClass [ owl:intersectionOf ( obo:BFO_0000015
[ rdf:type owl:Restriction ;
owl:onProperty cco:caused_by ;
owl:someValuesFrom obo:BFO_0000003
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf obo:BFO_0000015 ;
cco:alternative_label "Consequence"@en ;