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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Torso

 Sigma KEE - Torso
Torso(躯干)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12807-12807
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 12805-12805 躯干 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12806-12806 躯干 是 身体部位 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10774-10774 %每个 LatissimusDorsi 是 躯干 的 initially part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 249-249 %每个 ThoraxBone 是 躯干 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12819-12819 每个 Abdomen 是 躯干 的 part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58502-58502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58501-58501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58500-58500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10773-10773 LatissimusDorsi typically 是 躯干 的 part

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11218-11228
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 12832-12838
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5659-5666

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5259-5259 衬衫 是 对于 躯干 的 covering 的 subclass


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