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

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

diff --git a/src/cco-modules/ExtendedRelationOntology.ttl b/src/cco-modules/ExtendedRelationOntology.ttl
index 9bcd2dc..68d6af6 100644
--- a/src/cco-modules/ExtendedRelationOntology.ttl
+++ b/src/cco-modules/ExtendedRelationOntology.ttl
@@ -538,8 +538,8 @@ cco:ont00001928 rdf:type owl:ObjectProperty ;
                  rdfs:domain obo:BFO_0000004 ;
                  rdfs:range obo:BFO_0000004 ;
                  rdfs:label "is predecessor of"@en ;
-                 skos: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 ;
-                 skos:scopeNote "More informally, c1 is a predecessor of c2 iff c1 has been followed or replaced by c2."@en ;
+                 skos: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 ;
+                 skos: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/ExtendedRelationOntology"^^xsd:anyURI .