From ade2a796a28b386a3e965a4272e104cb0e9df8fb Mon Sep 17 00:00:00 2001
From: oliviahobai <119642653+oliviahobai@users.noreply.github.com>
Date: Wed, 8 Jan 2025 15:23:14 -0500
Subject: [PATCH] definition is predecessor of

---
 src/cco-extensions/ModalRelationOntology.ttl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl
index 52b39f1..caf986c 100644
--- a/src/cco-extensions/ModalRelationOntology.ttl
+++ b/src/cco-extensions/ModalRelationOntology.ttl
@@ -2252,8 +2252,8 @@ mro:ont00001928 rdf:type owl:ObjectProperty ;
                 rdfs:domain obo:BFO_0000004 ;
                 rdfs:range obo:BFO_0000004 ;
                 rdfs:label "is predecessor of"@en ;
-                <http://www.w3.org/2004/02/skos/core#definition> "A continuant c1 is a predecessor of some continuant c2 iff there is some process p1 and c1 is an input to p1 and c2 is an output of p1."@en ;
-                <http://www.w3.org/2004/02/skos/core#scopeNote> "More informally, c1 is a predecessor of c2 iff c1 has been followed or replaced by c2."@en ;
+                <http://www.w3.org/2004/02/skos/core#definition> "x is_predecessor_of y iff x and y are both instances of Independent Continuant and there is some process p and x is an input to p and y is an output of p."@en ;
+                <http://www.w3.org/2004/02/skos/core#scopeNote> "More informally, x is a predecessor of y iff x has been followed or replaced by y."@en ;
                 cco:ont00001760 <https://www.commoncoreontologies.org/ModalRelationOntology> .