Terminology Service for NFDI4Health
All properties in CL
| Label | Id | Description |
|---|---|---|
| involved_in | RO_0002331 | [c involved_in p if and only if c enables some process p', and p' is part of p] |
| is a defining property chain axiom | RO_0002581 | [If R <- P o Q is a defining property chain axiom, then it also holds that R -> P o Q. Note that this cannot be expressed directly in OWL] |
| is a defining property chain axiom where second argument is reflexive | RO_0002582 | [If R <- P o Q is a defining property chain axiom, then (1) R -> P o Q holds and (2) Q is either reflexive or locally reflexive. A corollary of this is that P SubPropertyOf R.] |
| is active in | RO_0002432 | [c executes activity in d if and only if c enables p and p occurs_in d. Assuming no action at a distance by gene products, if a gene product enables (is capable of) a process that occurs in some structure, it must have at least some part in that structure.] |
| is carrier of | RO_0010002 | [*b* is carrier of *c* at time *t* if and only if *c* *g-depends on* *b* at *t*] |
| is concretized as | RO_0000058 | [A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants.] |
| is conjugate acid of | is_conjugate_acid_of | |
| is conjugate base of | is_conjugate_base_of | |
| is count of | UBPROP_0000100 | |
| is direct form of | RO_0002575 | [relation p is the direct form of relation q iff p is a subPropertyOf q, p does not have the Transitive characteristic, q does have the Transitive characteristic, and for all x, y: x q y -> exists z1, z2, ..., zn such that x p z1 ... z2n y] |
| is homeomorphic for | 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.] |
| is kinase activity | RO_0002481 | |
| is negative form of | RO_0004050 | |
| is opposite of | RO_0002604 | [x is the opposite of y if there exists some distance metric M, and there exists no z such as M(x,z) <= M(x,y) or M(y,z) <= M(y,x).] |
| is positive form of | RO_0004049 | |
| is substituent group from | is_substituent_group_from | |
| isDefinedBy | isDefinedBy | |
| isRuleEnabled | isRuleEnabled | |
| is_class_level | is_class_level | |
| is_cyclic | is_cyclic |