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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chest
Chest

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11241-11243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11240-11240 Chest e' uma sub-classe de AnimalAnatomicalStructure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10795-10795 initialPart Pectoralis and Chest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11264-11264 initialPart Rib and Chest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11244-11244
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10794-10794 typicalPart Pectoralis and Chest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11263-11263 typicalPart RibBone and Chest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11291-11291 typicallyContainsPart RibCage and Chest

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1799-1807
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11246-11256
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1823-1830

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 895-917
No TPTP formula. May not be expressible in strict first order. Medicine.kif 853-875
No TPTP formula. May not be expressible in strict first order. Medicine.kif 799-810
No TPTP formula. May not be expressible in strict first order. Medicine.kif 609-618
No TPTP formula. May not be expressible in strict first order. Medicine.kif 828-844
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4891-4911

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2016-2016 ChestPain e' uma sub-classe de PainFn Chest


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