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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Stove

 Sigma KEE - Stove
Stove(火爐)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2324-2325
No TPTP formula. May not be expressible in strict first order. pictureList.kif 756-756
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1079-1079
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2323-2323 子類 火爐 and 加熱裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2268-2268 子類 火爐 and 主要電器

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55526-55526
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55525-55525
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55524-55524

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


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


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