Terminology Service < Semantic Lookup Platform

is homeomorphic for

http://purl.obolibrary.org/obo/RO_0040042

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.

Tree view

Property info

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.

created by

cjm

creation date

2018-10-21T19:46:34Z

example of usage

part-of is homeomorphic for independent continuants.

see also

https://github.com/oborel/obo-relations/issues/164

Property relations

Parents

TopObjectProperty