About: mutually spatially disjoint with   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:AnnotationProperty, within Data Space : wasabi.inria.fr associated with source document(s)

AttributesValues
type
subPropertyOf
label
  • mutually spatially disjoint with
seeAlso
described by
page
  • https://github.com/obophenotype/uberon/wiki/Part-disjointness-Design-Pattern
definition
  • 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.
definition source
alternative label
  • non-overlapping with
  • shares no parts with
defined by construct
  • 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 . }
expand assertion to
  • Class: <http://www.w3.org/2002/07/owl#Nothing> EquivalentTo: (BFO_0000050 some ?X) and (BFO_0000050 some ?Y)
is topic of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software