Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MuscleRelaxing

Sigma KEE - MuscleRelaxing
MuscleRelaxing(muscle relaxing)

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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MuscleRelaxing "muscle relaxing") 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners