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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hawaii

 Sigma KEE - Hawaii
Hawaii(夏威夷)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 937-938
No TPTP formula. May not be expressible in strict first order. pictureList.kif 492-492
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 935-935 夏威夷 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 936-936 夏威夷 接上 太平洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 825-825 夏威夷 是 檀香山夏威夷 的 capital 城市
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27618-27618
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27617-27617
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27616-27616


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