Matches in Ubergraph for { <http://purl.obolibrary.org/obo/RO_0002151> ?p ?o ?g. }
Showing items 1 to 11 of
11
with 100 items per page.
- RO_0002151 IAO_0000114 IAO_0000125 @default.
- RO_0002151 IAO_0000115 "x partially overlaps y iff there exists some z such that z is part of x and z is part of y, and it is also the case that neither x is part of y or y is part of x" @default.
- RO_0002151 IAO_0000116 "We would like to include disjointness axioms with part_of and has_part, however this is not possible in OWL2 as these are non-simple properties and hence cannot appear in a disjointness axiom" @default.
- RO_0002151 IAO_0000118 "proper overlaps" @default.
- RO_0002151 IAO_0000426 "(forall (?x ?y) (iff (proper_overlaps ?x ?y) (and (overlaps ?x ?y) (not (part_of ?x ?y)) (not (part_of ?y ?x)))))" @default.
- RO_0002151 RO_0001900 RO_0001901 @default.
- RO_0002151 inSubset ro-eco @default.
- RO_0002151 type ObjectProperty @default.
- RO_0002151 isDefinedBy ro.owl @default.
- RO_0002151 label "partially overlaps" @default.
- RO_0002151 subPropertyOf RO_0002131 @default.