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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Torso

Sigma KEE - Torso
Torso(torso)
body, torso, trunk

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12273-12273
No TPTP formula. May not be expressible in strict first order. pictureList.kif 64-64
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12271-12271 Torso is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12272-12272 Torso is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10283-10283 Every upper back muscle is initially part of a torso
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12285-12285 Every abdomen is a part of a torso
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58469-58469
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58468-58468
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58467-58467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10282-10282 A upper back muscle is typically a part of a torso

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10725-10735
No TPTP formula. May not be expressible in strict first order. emotion.kif 1738-1751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12298-12304

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4986-4986 Shirt is a subclass of a covering for torso


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