BodyJoint - Sigma Knowledge base Browser

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 11703-11704
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11702-11702	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 12723-12723	Ankle is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12734-12734	Elbow is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12801-12801	Hip joint is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12768-12768	Knee is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12791-12791	Knuckle is a subclass of body joint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12745-12745	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 11706-11714

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