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 10579-10580
(subclass MuscleRelaxing BodyMotion)	Mid-level-ontology.kif 10577-10577	MuscleRelaxing è una sottoclasse di MovimentoCorporeo
(subclass MuscleRelaxing OrganOrTissueProcess)	Mid-level-ontology.kif 10578-10578	MuscleRelaxing è una sottoclasse di ProcessoOrganicoOTessutale

appearance as argument number 2

domainEnglishFormat.kif 65212-65212

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 10582-10597

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 10755-10767