TreeView Knowledge Base Browser - BodyJoint

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 11731-11732
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11730-11730	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 12751-12751	Ankle is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12762-12762	Elbow is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12829-12829	Hip joint is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12796-12796	Knee is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12819-12819	Knuckle is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12773-12773	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 11734-11742

If a corpuscular object is an instance of body joint,
then there exist another corpuscular object, a third corpuscular object and a fourth corpuscular object such that the other corpuscular object is an instance of skeleton and the third corpuscular object is a component of the other corpuscular object and the fourth corpuscular object is a component of the other corpuscular object and the corpuscular object is a component of the other corpuscular object and the corpuscular object connects the third corpuscular object and the fourth corpuscular object

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