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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MuscleRelaxing
MuscleRelaxing

appearance as argument number 1
-------------------------


s__documentation(s__MuscleRelaxing,s__EnglishLanguage,'"The Process of a Muscle being deactivated or relaxing and lengthening."')

Mid-level-ontology.kif 9932-9933
s__subclass(s__MuscleRelaxing,s__BodyMotion)

s__instance(s__MuscleRelaxing,s__Class)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 9930-9930 MuscleRelaxing is a subclass of body motion
s__instance(s__OrganOrTissueProcess,s__Class)

s__subclass(s__MuscleRelaxing,s__OrganOrTissueProcess)

s__instance(s__MuscleRelaxing,s__Class)

Mid-level-ontology.kif 9931-9931 MuscleRelaxing is a subclass of organ or tissue process

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9935-9950

consequent
-------------------------


( ! [V__HB,V__H] :
   (((s__instance(V__HB,s__HeartBeat) &
         s__patient(V__HB,V__H)
       &
       s__instance(V__H,s__Heart))
     =>
     (( ? [V__MC, V__MR] :
         ((s__instance(V__MC,s__MuscularContraction) &
             s__patient(V__MC,V__H)
           &
           s__instance(V__MR,s__MuscleRelaxing) &
           s__patient(V__MR,V__H)
         &
         s__subProcess(V__MC,V__HB)
       &
       s__subProcess(V__MR,V__HB))))))
)
)

Mid-level-ontology.kif 10104-10116


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



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