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 10770-10771
(subclass MuscleRelaxing BodyMotion)	Mid-level-ontology.kif 10768-10768	Muscle relaxing is a subclass of body motion
(subclass MuscleRelaxing OrganOrTissueProcess)	Mid-level-ontology.kif 10769-10769	Muscle relaxing is a subclass of organ or tissue process

appearance as argument number 2

domainEnglishFormat.kif 65258-65258

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 10773-10788

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 10946-10958