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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyJoint

Sigma KEE - BodyJoint
BodyJoint(body joint)articulatio, articulation, joint

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11704-11705
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11703-11703 Body joint is a subclass of body junction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12724-12724 Ankle is a subclass of body joint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12735-12735 Elbow is a subclass of body joint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12802-12802 Hip joint is a subclass of body joint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12769-12769 Knee is a subclass of body joint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12792-12792 Knuckle is a subclass of body joint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12746-12746 Wrist is a subclass of body joint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11477-11477
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11476-11476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11475-11475

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


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

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2218-2218 Arthritis is a subclass of pain in the body joint
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2011-2011 Joint pain is a subclass of pain in the body joint


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