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 10038-10039 | |
(subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 10036-10036 | MuscularContraction is a subclass of body motion |
(subclass MuscularContraction OrganOrTissueProcess) | Mid-level-ontology.kif 10037-10037 | MuscularContraction is a subclass of organ or tissue process |
antecedent |
![]() |
(=> (and (instance ?MC MuscularContraction) (patient ?MC ?M) (instance ?M Muscle) (holdsDuring (ImmediatePastFn (WhenFn ?MC)) (length ?M (MeasureFn ?N1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MC)) (length ?M (MeasureFn ?N2 ?U)))) (greaterThan ?N1 ?N2)) |
Mid-level-ontology.kif 10041-10056 |
|
consequent |
![]() |
![]() |
![]() |