|
involved in regulation of
|
RO_0002428 |
[c involved in regulation of p if c is involved in some p' and p' regulates some 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 about
|
IAO_0000136 |
|
|
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 allocated id range
|
IAO_0000603 |
[Relates an ontology IRI to an (inclusive) range of IRIs in an OBO name space. The range is give as, e.g. "IAO_0020000-IAO_0020999"] |
|
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 denotator type
|
IAO_0000411 |
[Relates an class defined in an ontology, to the type of it's denotator] |
|
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 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] |
|
is kinase activity
|
RO_0002481 |
|
|
is negative form of
|
RO_0004050 |
|
|
is positive form of
|
RO_0004049 |
|
|
isDefinedBy
|
isDefinedBy |
|
|
isRuleEnabled
|
isRuleEnabled |
|
|
label
|
label |
|
|
language
|
language |
|
|
latin term
|
OMO_0003011 |
[A synonym type for describing Latin term synonyms.] |
