diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index 1b28cf5..aa1f4d2 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -1356,7 +1356,7 @@ mro:ont00001838 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; rdfs:label "disconnected with"@en ; - "An immaterial entity im1 is disconnected with some immaterial entity im2 iff there does not exist some immaterial entity im3 that is common to both im1 and im2."@en ; + "x disconnected_with y iff x and y are both instances of Immaterial Entity and there does not exist some immaterial entity z that is common to both x and y."@en ; "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en ; cco:ont00001760 .