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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10775-10775 %每个 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 12820-12820 每个 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 10774-10774 LatissimusDorsi typically 是 躯干 的 part

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11219-11229
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 12833-12839
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 5260-5260 衬衫 是 对于 躯干 的 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