MuscleRelaxing - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MuscleRelaxing EnglishLanguage "The Process of a Muscle being deactivated or relaxing and lengthening.")	Mid-level-ontology.kif 10060-10061
(subclass MuscleRelaxing BodyMotion)	Mid-level-ontology.kif 10058-10058
(subclass MuscleRelaxing OrganOrTissueProcess)	Mid-level-ontology.kif 10059-10059

antecedent

(=>
    (and
        (instance ?MC MuscleRelaxing)
        (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 ?N2 ?N1))

Mid-level-ontology.kif 10063-10078

consequent

(=>
    (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