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 10551-10552
(subclass MuscleRelaxing BodyMotion)	Mid-level-ontology.kif 10549-10549	Muscle relaxing is a subclass of body motion
(subclass MuscleRelaxing OrganOrTissueProcess)	Mid-level-ontology.kif 10550-10550	Muscle relaxing is a subclass of organ or tissue process

appearance as argument number 2

domainEnglishFormat.kif 65210-65210

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 10554-10569

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 10727-10739