MuscleContraction |
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 1923-1939 |
|