About: is homeomorphic for   Goto Sponge  NotDistinct  Permalink

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

R homeomorphic-for C expands to: C SubClassOf R only C. Additionally, for any class D that is disjoint with C, we can also expand to C DisjointWith R some D, D DisjointWith R some C.

AttributesValues
type
subPropertyOf
label
  • is homeomorphic for
comment
  • R homeomorphic-for C expands to: C SubClassOf R only C. Additionally, for any class D that is disjoint with C, we can also expand to C DisjointWith R some D, D DisjointWith R some C.
seeAlso
described by
has a SPARQL endpoint at
example of usage
  • part-of is homeomorphic for independent continuants.
definition
  • R is homemorphic for C iff (1) there exists some x,y such that x R y, and x and y instantiate C and (2) for all x, if x is an instance of C, and there exists some y some such that x R y, then it follows that y is an instance of C.
obo:created_by
obo:creation_date
is topic of
is awol:src of
is http://vocab.deri.ie/void#inDataset of
is accessed 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