diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index 84b8f0e..9d0fd88 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -1810,12 +1810,14 @@ mro:ont00001883 rdf:type owl:ObjectProperty ; ### https://www.commoncoreontologies.org/mro/ont00001884 mro:ont00001884 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ont00001801 ; + rdfs:domain obo:BFO_0000001 ; + rdfs:range cco:ont00000127 ; owl:inverseOf mro:ont00001980 ; owl:propertyChainAxiom ( mro:ont00001917 mro:BFO_0000176 ) ; rdfs:label "condition described by"@en ; - "c condition_described_by p iff p is an instance of a Performance Specification, and p has part d, and d is an instance of a Descriptive Information Content Entity, and p prescribes an entity s, and d describes c, and c is an entity that is causally relevant to s existing as prescribed by p."@en ; + "x condition_described_by y iff y is an instance of Performance Specification and x is an instance of Entity and y describes_condition x."@en ; cco:ont00001760 .