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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oklahoma

Sigma KEE - Oklahoma
Oklahoma
more pictures...

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

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


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


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