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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oklahoma
Oklahoma(Oklahoma)
more pictures...
OK, Oklahoma, Sooner_State

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


(documentation Oklahoma EnglishLanguage "A state in the southwestern UnitedStates.") CountriesAndRegions.kif 1080-1080
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ Student_Union_-_Oklahoma_State_University.jpg") pictureList.kif 5403-5403
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/1/ 1e/ Wichita_Canyon.jpg") pictureList.kif 5398-5398
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/3/ 31/ Oklahoma_Capitol_building_with_oil_derrick.JPG") pictureList.kif 5395-5395
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/3/ 37/ National-atlas-oklahoma.PNG") pictureList.kif 5151-5151
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ American_bison_k5680-1.jpg") pictureList.kif 5396-5396
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Gloss_Mountains.jpg") pictureList.kif 5401-5401
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/en/5/57/Tallgrass_Prairie_Nature_Preserve_in_Osage_County.jpg") pictureList.kif 5400-5400
(instance Oklahoma AmericanState) CountriesAndRegions.kif 1079-1079 Oklahoma is an instance of american state

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


(meetsSpatially Arkansas Oklahoma) CountriesAndRegions.kif 890-890 Arkansas meets Oklahoma
(meetsSpatially Kansas Oklahoma) CountriesAndRegions.kif 963-963 Kansas meets Oklahoma
(meetsSpatially Missouri Oklahoma) CountriesAndRegions.kif 1017-1017 Missouri meets Oklahoma
(termFormat EnglishLanguage Oklahoma "Oklahoma") domainEnglishFormat.kif 65288-65288 Missouri meets Oklahoma


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