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 est une instance de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 Idaho rencontre Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 943-943 Idaho rencontre Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 942-942 Idaho rencontre Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 944-944 Idaho rencontre Utah
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 941-941 Idaho rencontre Washington

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


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