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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Idaho

 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 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 空間的符合 Idaho and 加拿大
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 943-943 空間的符合 Idaho and Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 942-942 空間的符合 Idaho and Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 944-944 空間的符合 Idaho and 猶他州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 941-941 空間的符合 Idaho and 華盛頓

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1021-1021 空間的符合 Montana and Idaho
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1154-1154 空間的符合 懷俄明 and Idaho
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65016-65016


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