MuscularContraction |
appearance as argument number 1 |
(documentation MuscularContraction EnglishLanguage "The Process of a Muscle being activated by a NerveCell and shortening.") | Mid-level-ontology.kif 10530-10531 | |
(subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 10528-10528 | 子類 MuscularContraction and BodyMotion |
(subclass MuscularContraction OrganOrTissueProcess) | Mid-level-ontology.kif 10529-10529 | 子類 MuscularContraction and OrganOrTissueProcess |
appearance as argument number 2 |
(termFormat EnglishLanguage MuscularContraction "muscular contraction") | domainEnglishFormat.kif 65212-65212 |
antecedent |
consequent |
(=> (and (instance ?E Extension) (moves ?E ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?E ?M) (connected ?M ?BP) (subProcess ?MC ?E)))) |
Mid-level-ontology.kif 10647-10657 | |
(=> (and (instance ?F Flexion) (moves ?F ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?F ?M) (connected ?M ?BP) (subProcess ?MC ?F)))) |
Mid-level-ontology.kif 10607-10617 | |
(=> (and (instance ?HB HeartBeat) (patient ?HB ?H) (instance ?H Heart)) (exists (?MC ?MR) (and (instance ?MC MuscularContraction) (patient ?MC ?H) (instance ?MR MuscleRelaxing) (patient ?MR ?H) (subProcess ?MC ?HB) (subProcess ?MR ?HB)))) |
Mid-level-ontology.kif 10728-10740 |