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 11901-11902
(subclass MuscleRelaxing BodyMotion)	Mid-level-ontology.kif 11899-11899	Muscle relaxing is a subclass of body motion
(subclass MuscleRelaxing OrganOrTissueProcess)	Mid-level-ontology.kif 11900-11900	Muscle relaxing is a subclass of organ or tissue process

appearance as argument number 2

domainEnglishFormat.kif 65233-65233

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 11904-11919

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 12077-12089