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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Iowa
Iowa

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


(documentation Iowa EnglishLanguage "A state in the midwestern UnitedStates.") CountriesAndRegions.kif 959-959
(externalImage Iowa "http://upload.wikimedia.org/wikipedia/commons/1/18/ IAborderMN2006-08.JPG") pictureList.kif 5281-5281
(externalImage Iowa "http://upload.wikimedia.org/wikipedia/commons/a/a5/ Iowa_capitol.jpg") pictureList.kif 5280-5280
(instance Iowa AmericanState) CountriesAndRegions.kif 955-955 IowaAmericanStateinstance では %n
(meetsSpatially Iowa Missouri) CountriesAndRegions.kif 958-958 IowaMissourimeets %n{ない}
(meetsSpatially Iowa Nebraska) CountriesAndRegions.kif 957-957 IowaNebraskameets %n{ない}
(meetsSpatially Iowa SouthDakota) CountriesAndRegions.kif 956-956 IowaSouthDakotameets %n{ない}

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


(meetsSpatially Illinois Iowa) CountriesAndRegions.kif 948-948 IllinoisIowameets %n{ない}
(meetsSpatially Minnesota Iowa) CountriesAndRegions.kif 1006-1006 MinnesotaIowameets %n{ない}
(meetsSpatially Wisconsin Iowa) CountriesAndRegions.kif 1150-1150 WisconsinIowameets %n{ない}
(termFormat EnglishLanguage Iowa "Iowa") domainEnglishFormat.kif 65049-65049


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