Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ennervates |
| appearance as argument number 1 |
|
| (instance ennervates BinaryPredicate) | Anatomy.kif 1942-1942 | ennervates is an instance of binary predicate |
| (documentation ennervates EnglishLanguage "A relation between a class of Nerve and a class of Muscle that is activated by that nerve, when both are instances in a particular organism.") | Anatomy.kif 1945-1946 | ennervates is an instance of binary predicate |
| (domainSubclass ennervates 1 Nerve) | Anatomy.kif 1947-1947 | The number 1 argument of ennervates is a subclass of nerve |
| (domainSubclass ennervates 2 Muscle) | Anatomy.kif 1948-1948 | The number 2 argument of ennervates is a subclass of muscle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ennervates "ennervates") | Anatomy.kif 1943-1943 |
| antecedent |
|
|
| (=> (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 |
| appearance as argument number 0 |
|
|
|