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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oklahoma

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 5404-5404
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/1/ 1e/ Wichita_Canyon.jpg") pictureList.kif 5399-5399
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/3/ 31/ Oklahoma_Capitol_building_with_oil_derrick.JPG") pictureList.kif 5396-5396
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/3/ 37/ National-atlas-oklahoma.PNG") pictureList.kif 5152-5152
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ American_bison_k5680-1.jpg") pictureList.kif 5397-5397
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Gloss_Mountains.jpg") pictureList.kif 5402-5402
(externalImage Oklahoma "http://upload.wikimedia.org/wikipedia/en/5/57/Tallgrass_Prairie_Nature_Preserve_in_Osage_County.jpg") pictureList.kif 5401-5401
(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 65263-65263


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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