mutually_spatially_disjoint_with
mutually spatially disjoint with
https://github.com/obophenotype/uberon/wiki/Part-disjointness-Design-Pattern
true
true
mutually_spatially_disjoint_with
uberon
mutually_spatially_disjoint_with
shares no parts with
A is mutually_spatially_disjoint_with B if both A and B are classes, and there exists no p such that p is part_of some A and p is part_of some B.
Class: <http://www.w3.org/2002/07/owl#Nothing> EquivalentTo: (BFO_0000050 some ?X) and (BFO_0000050 some ?Y)
RO:0002171
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX part_of: <http://purl.obolibrary.org/obo/BFO_0000050>
PREFIX mutually_spatially_disjoint_with: <http://purl.obolibrary.org/obo/RO_0002171>
CONSTRUCT {
part_of: a owl:ObjectProperty .
[
a owl:Restriction ;
owl:onProperty part_of: ;
owl:someValuesFrom ?x ;
owl:disjointWith [
a owl:Restriction ;
owl:onProperty part_of: ;
owl:someValuesFrom ?y
]
]
}
WHERE {
?x mutually_spatially_disjoint_with: ?y .
}
non-overlapping with