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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Idaho
Idaho
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 945-946
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5275-5275
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5272-5272
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5270-5270
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5274-5274
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5125-5125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5269-5269
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5273-5273
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5271-5271
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 939-939 Idaho 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 Idaho 接上 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 943-943 Idaho 接上 Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 942-942 Idaho 接上 Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 944-944 Idaho 接上 犹他州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 941-941 Idaho 接上 华盛顿

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1021-1021 Montana 接上 Idaho
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1154-1154 怀俄明 接上 Idaho
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65016-65016


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