diff --git a/src/ontology/core.owl b/src/ontology/core.owl index 9b768014..6643aa65 100644 --- a/src/ontology/core.owl +++ b/src/ontology/core.owl @@ -471,7 +471,27 @@ A continuant cannot have an occurrent as part: use 'participates in'. + + + + + + + + + + + + + + + + + + + + located in my brain is located in my head this rat is located in this cage @@ -483,6 +503,18 @@ A continuant cannot have an occurrent as part: use 'participates in'. http://www.obofoundry.org/ro/#OBO_REL:located_in located in + + + + + This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation. + + + + + + This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation. +