Property information
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.
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 . }
Class: <http://www.w3.org/2002/07/owl#Nothing> EquivalentTo: (BFO_0000050 some ?X) and (BFO_0000050 some ?Y)
https://github.com/obophenotype/uberon/wiki/Part-disjointness-Design-Pattern
http://purl.obolibrary.org/obo/RO_0002163