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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Arizona
Arizona(Arizona)
more pictures...
AZ, Arizona, Grand_Canyon_State

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


(documentation Arizona EnglishLanguage "A state in the southwestern UnitedStates that borders on Mexico.") CountriesAndRegions.kif 887-888
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/commons/1/ 12/ National-atlas-arizona.png") pictureList.kif 5101-5101
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Arizona-sunset.jpg") pictureList.kif 5206-5206
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/commons/6/ 62/ Phoenix_skyline_Arizona_USA.jpg") pictureList.kif 5210-5210
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ City_Street_of_Tucson%2C_AZ.jpg") pictureList.kif 5211-5211
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Entering_Arizona_on_I-10_Westbound.jpg") pictureList.kif 5208-5208
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/en/5/51/AZ_capitol.jpg") pictureList.kif 5209-5209
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/en/8/85/Htlake.jpg") pictureList.kif 5207-5207
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/en/f/fc/Monumentvalleyaz.jpg") pictureList.kif 5212-5212
(instance Arizona AmericanState) CountriesAndRegions.kif 883-883 Arizona is an instance of american state
(meetsSpatially Arizona California) CountriesAndRegions.kif 885-885 Arizona meets california
(meetsSpatially Arizona Mexico) CountriesAndRegions.kif 886-886 Arizona meets mexico
(meetsSpatially Arizona Nevada) CountriesAndRegions.kif 884-884 Arizona meets Nevada

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


(meetsSpatially Colorado Arizona) CountriesAndRegions.kif 910-910 Colorado meets Arizona
(meetsSpatially NewMexico Arizona) CountriesAndRegions.kif 1047-1047 New mexico meets Arizona
(meetsSpatially Utah Arizona) CountriesAndRegions.kif 1120-1120 Utah meets Arizona
(termFormat EnglishLanguage Arizona "Arizona") domainEnglishFormat.kif 64521-64521 Utah meets Arizona


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