![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation MuscularContraction EnglishLanguage "The Process of a Muscle being activated by a NerveCell and shortening.") | Mid-level-ontology.kif 10529-10530 | |
(subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 10527-10527 | MuscularContraction ist eine teilkategorie von BodyMotion |
(subclass MuscularContraction OrganOrTissueProcess) | Mid-level-ontology.kif 10528-10528 | MuscularContraction ist eine teilkategorie von 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 10646-10656 |
|
(=> (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 10606-10616 |
|
(=> (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 10727-10739 |
|
![]() |
![]() |