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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10552-10553
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10550-10550 Muscle relaxing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10551-10551 Muscle relaxing is a subclass of organ or tissue process

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65210-65210

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


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

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


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


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