Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  NorthernSouthAmerica
|
|
|
| appearance as argument number 1 |
|
|
| (subclass NerveFiring BiologicalProcess) | Anatomy.kif 1922-1922 | Nerve firing is a subclass of biological process |
| (documentation NerveFiring EnglishLanguage "An action potential occurs when the membrane potential of a specific cell rapidly rises and falls. This depolarization then causes adjacent locations to similarly depolarize. Action potentials occur in several types of animal cells, called excitable cells, which include neurons, muscle cells, and in some plant cells. Certain endocrine cells such as pancreatic beta cells, and certain cells of the anterior PituitaryGland are also excitable cells. In neurons, action potentials play a central role in cell–cell communication by providing for—or with regard to saltatory conduction, assisting—the propagation of signals along the neuron's axon toward synaptic boutons situated at the ends of an axon; these signals can then connect with other neurons at synapses, or to motor cells or glands.[from Wikipedia]") | Anatomy.kif 1926-1933 | Nerve firing is a subclass of biological process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NerveFiring "nerve firing") | Anatomy.kif 1923-1923 |
| consequent |
|
|
| (=> (and (ennervates ?NC ?MC) (instance ?N ?NC) (instance ?M ?MC) (part ?N ?H) (part ?M ?H) (attribute ?H Healthy) (instance ?H Human)) (hasPurpose ?N (exists (?NF ?C) (and (instance ?NF NerveFiring) (instrument ?NF ?N) (instance ?MC MuscleContraction) (instrument ?MV ?M) (causes ?NF ?MC))))) |
Anatomy.kif 1950-1966 | If All of the following hold: (1) ennervates X and Y (2) Z is an instance of X (3) W is an instance of Y (4) Z is a part of V (5) W is a part of V (6) healthy is an attribute of V (7) V is an instance of human, then Z has the purpose there exist U, T such that U is an instance of nerve firing, Z is an instrument for U, Y is an instance of MuscleContraction, W is an instrument for S, and U causes Y |
|