true true true true true An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts. continuant An entity that has temporal parts and that happens, unfolds or develops through time. occurrent A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. independent continuant An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. process An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time. material entity molecular_function catalytic activity biological_process true kinase activity transferase activity transferase activity, transferring phosphorus-containing groups A process occurring within or in the vicinity of an organism that exerts some causal influence on the organism via the interaction between an exposure stimulus and an exposure receptor. The exposure stimulus may be a process, material entity or condition (for example, lack of nutrients). The exposure receptor can be an organism, organism population or a part of an organism. exposure event or process true MF(X)-directly_regulates->MF(Y)-enabled_by->GP(Z) => MF(Y)-has_input->GP(Y) e.g. if 'protein kinase activity'(X) directly_regulates 'protein binding activity (Y)and this is enabled by GP(Z) then X has_input Z infer input from direct reg GP(X)-enables->MF(Y)-has_part->MF(Z) => GP(X) enables MF(Z), e.g. if GP X enables ATPase coupled transporter activity' and 'ATPase coupled transporter activity' has_part 'ATPase activity' then GP(X) enables 'ATPase activity' enabling an MF enables its parts true GP(X)-enables->MF(Y)-part_of->BP(Z) => GP(X) involved_in BP(Z) e.g. if X enables 'protein kinase activity' and Y 'part of' 'signal tranduction' then X involved in 'signal transduction' involved in BP This rule is dubious: added as a quick fix for expected inference in GO-CAM. The problem is most acute for transmembrane proteins, such as receptors or cell adhesion molecules, which have some subfunctions inside the cell (e.g. kinase activity) and some subfunctions outside (e.g. ligand binding). Correct annotation of where these functions occurs leads to incorrect inference about the location of the whole protein. This should probably be weakened to "... -> overlaps" If a molecular function (X) has a regulatory subfunction, then any gene product which is an input to that subfunction has an activity that directly_regulates X. Note: this is intended for cases where the regaultory subfunction is protein binding, so it could be tightened with an additional clause to specify this. inferring direct reg edge from input to regulatory subfunction inferring direct neg reg edge from input to regulatory subfunction inferring direct positive reg edge from input to regulatory subfunction effector input is compound function input Input of effector is input of its parent MF if effector directly regulates X, its parent MF directly regulates X if effector directly positively regulates X, its parent MF directly positively regulates X if effector directly negatively regulates X, its parent MF directly negatively regulates X 'causally downstream of' and 'overlaps' should be disjoint properties (a SWRL rule is required because these are non-simple properties). 'causally upstream of' and 'overlaps' should be disjoint properties (a SWRL rule is required because these are non-simple properties).