Terminology Service for NFDI4Health
All properties in HP
| Label | Id | Description |
|---|---|---|
| involved in negative regulation of | RO_0002430 | [c involved in regulation of p if c is involved in some p' and p' negatively regulates some p] |
| involved in or involved in regulation of | RO_0002431 | [c involved in or regulates p if and only if either (i) c is involved in p or (ii) c is involved in regulation of p] |
| involved in positive regulation of | RO_0002429 | [c involved in regulation of p if c is involved in some p' and p' positively regulates some p] |
| involved in regulation of | RO_0002428 | [c involved in regulation of p if c is involved in some 'p' and p' regulates some p, c involved in regulation of p if c is involved in some p' and p' regulates some p] |
| 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., c executes activity in d if and only if c enables p and p occurs_in d] |
| 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 enantiomer of | is_enantiomer_of | |
| 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 | |
| is symbiosis | RO_0002465 |