|
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 about
|
IAO_0000136 |
[A (currently) primitive relation that relates an information artifact to an entity., is_about is a (currently) primitive relation that relates an information artifact to an entity.] |
|
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 conjugate acid of
|
is_conjugate_acid_of |
|
|
is conjugate base of
|
is_conjugate_base_of |
|
|
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 indirect form of
|
RO_0002579 |
[Relation p is the indirect form of relation q iff p is a subPropertyOf q, and there exists some p' such that p' is the direct form of q, p' o p' -> p, and forall x,y : x q y -> either (1) x p y or (2) x p' y, relation p is the indirect form of relation q iff p is a subPropertyOf q, and there exists some p' such that p' is the direct form of q, p' o p' -> p, and forall x,y : x q y -> either (1) x p y or (2) x p' y] |
|
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 |
|
|
is tautomer of
|
is_tautomer_of |
|
|
is ubiquitination
|
RO_0002482 |
|
|
isDefinedBy
|
isDefinedBy |
|
|
isRuleEnabled
|
isRuleEnabled |
|
|
is_about
|
is_about |
|
