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 10557-10558 | |
(subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 10555-10555 | 子類 MuscularContraction and BodyMotion |
(subclass MuscularContraction OrganOrTissueProcess) | Mid-level-ontology.kif 10556-10556 | 子類 MuscularContraction and OrganOrTissueProcess |
appearance as argument number 2 |
(termFormat EnglishLanguage MuscularContraction "muscular contraction") | domainEnglishFormat.kif 65214-65214 |
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 10674-10684 | |
(=> (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 10634-10644 | |
(=> (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 10755-10767 |