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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Idaho
Idaho(Idaho)
more pictures...		Gem_State, ID, Idaho

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 is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 Idaho meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 943-943 Idaho meets Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 942-942 Idaho meets Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 944-944 Idaho meets utah
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 941-941 Idaho meets washington

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1021-1021 Montana meets Idaho
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1154-1154 Wyoming meets 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