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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shoulder

Sigma KEE - Shoulder
Shoulder

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12781-12782
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1250-1250
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12779-12779 Shoulder e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12780-12780 Shoulder e' uma sub-classe de Parte do Corpo

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 216-216 initialPart ShoulderGirdleBone and Shoulder
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52863-52863
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52862-52862
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52861-52861

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


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

consequent
-------------------------


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

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2870-2870 LeftShoulder e' uma sub-classe de BodySideFn Left and Shoulder
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2873-2873 RightElbow e' uma sub-classe de BodySideFn Right and Shoulder


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