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 e' uma instancia de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 940-940 Idaho encontra Canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 943-943 Idaho encontra Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 942-942 Idaho encontra Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 944-944 Idaho encontra Utah
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 941-941 Idaho encontra Washington

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1021-1021 Montana encontra Idaho
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1154-1154 Wyoming encontra Idaho
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65018-65018


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