MuscularContraction - Sigma Knowledge base Browser

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
(subclass MuscularContraction OrganOrTissueProcess)	Mid-level-ontology.kif 10037-10037

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

(=> (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 10155-10165
(=> (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 10115-10125
(=> (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 10232-10244