TreeView 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 是身体运动的 subclass
(subclass MuscleRelaxing OrganOrTissueProcess)	Mid-level-ontology.kif 10578-10578	MuscleRelaxing 是器官或身体组织过程的 subclass

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