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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Waist
Waist(腰部)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12824-12825
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12826-12826 每个 腰部 是 Abdomen 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12823-12823 腰部 是 身体部位 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62067-62067
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62066-62066
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62065-62065


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