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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyJoint

 Sigma KEE - BodyJoint
BodyJoint

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 BodyJoint est une sous-classe de junction de parties du corps

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12724-12724 Ankle est une sous-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12735-12735 Elbow est une sous-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12802-12802 HipJoint est une sous-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12769-12769 Knee est une sous-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12792-12792 Knuckle est une sous-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12746-12746 Wrist est une sous-classe de BodyJoint
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 est une sous-classe de PainFn BodyJoint
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2011-2011 JointPain est une sous-classe de PainFn BodyJoint


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