Terminology Service for NFDI4Health
JSON

is homeomorphic for

Go to external page http://purl.obolibrary.org/obo/RO_0040042

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.

Property info

creation date

2018-10-21T19:46:34Z

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.

example of usage

part-of is homeomorphic for independent continuants.

see also

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