diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index 2194b21..7ebbcab 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -705,7 +705,7 @@ mro:ont00001775 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000004 ; rdfs:range obo:BFO_0000004 ; rdfs:label "is successor of"@en ; - "A continuant c2 is a successor of some continuant c1 iff there is some process p1 and c1 is an input to p1 and c2 is an output of p1. Inverse of is predecessor. "@en ; + "x is_successor_of y iff x and y are both instances of Independent Continuant and y is_predecessor_of x. "@en ; cco:ont00001760 .