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

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	BodyJoint e' uma sub-classe de junta de partes do corpo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12723-12723	Ankle e' uma sub-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12734-12734	Elbow e' uma sub-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12801-12801	HipJoint e' uma sub-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12768-12768	Knee e' uma sub-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12791-12791	Knuckle e' uma sub-classe de BodyJoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12745-12745	Wrist e' uma sub-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 11706-11714

Objeto Corpuscular e' uma instancia de BodyJoint
Objeto Corpuscular Objeto Corpuscular and Objeto Corpuscular Objeto Corpuscular e' uma instancia de Skeleton Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular conecta Objeto Corpuscular e Objeto Corpuscular

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2218-2218	Arthritis e' uma sub-classe de PainFn BodyJoint
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2011-2011	JointPain e' uma sub-classe de PainFn BodyJoint

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