From e1d0bf1ec37b172759dca2e480bfefeba835ab0f Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Fri, 17 Jan 2025 10:46:52 -0500 Subject: [PATCH] definition & d/r is object of --- src/cco-extensions/ModalRelationOntology.ttl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index ec9f849..6ebb1e8 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -2325,11 +2325,13 @@ mro:ont00001935 rdf:type owl:ObjectProperty ; ### https://www.commoncoreontologies.org/mro/ont00001936 mro:ont00001936 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:BFO_0000056 ; + owl:inverseOf mro:ont00001778 ; + rdfs:domain obo:BFO_0000002 ; + rdfs:range obo:BFO_0000015 ; rdfs:label "is object of"@en ; - "If p is a process and c is a continuant, then c is object of p if and only if the c is part of the projected state that the agent intends to achieve by performing p."@en ; + "x is_object_of y iff x is an instance of Continuant and y is an instance of Process and y is performed by some instance of Agent z and x is part of the projected state that z intends to achieve by performing y."@en ; cco:ont00001760 . - ### https://www.commoncoreontologies.org/mro/ont00001937 mro:ont00001937 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ont00001840 ;