ennervates |
appearance as argument number 1 |
(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 1918-1919 | |
(domainSubclass ennervates 1 Nerve) | Anatomy.kif 1920-1920 | Die Zahl 1 Argument von ennervates ist eine teilkategorie von Nerve %n{nicht} |
(domainSubclass ennervates 2 Muscle) | Anatomy.kif 1921-1921 | Die Zahl 2 Argument von ennervates ist eine teilkategorie von Muscle %n{nicht} |
(instance ennervates BinaryPredicate) | Anatomy.kif 1917-1917 | ennervates ist ein fall von BinaryPredicate %n{nicht} |
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 1923-1939 |
|
appearance as argument number 0 |