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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Arizona
Arizona
more pictures...

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 5100-5100
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Arizona-sunset.jpg") pictureList.kif 5205-5205
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/commons/6/ 62/ Phoenix_skyline_Arizona_USA.jpg") pictureList.kif 5209-5209
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ City_Street_of_Tucson%2C_AZ.jpg") pictureList.kif 5210-5210
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Entering_Arizona_on_I-10_Westbound.jpg") pictureList.kif 5207-5207
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/en/5/51/AZ_capitol.jpg") pictureList.kif 5208-5208
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/en/8/85/Htlake.jpg") pictureList.kif 5206-5206
(externalImage Arizona "http://upload.wikimedia.org/wikipedia/en/f/fc/Monumentvalleyaz.jpg") pictureList.kif 5211-5211
(instance Arizona AmericanState) CountriesAndRegions.kif 883-883
(meetsSpatially Arizona California) CountriesAndRegions.kif 885-885
(meetsSpatially Arizona Mexico) CountriesAndRegions.kif 886-886
(meetsSpatially Arizona Nevada) CountriesAndRegions.kif 884-884

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


(meetsSpatially Colorado Arizona) CountriesAndRegions.kif 910-910
(meetsSpatially NewMexico Arizona) CountriesAndRegions.kif 1047-1047
(meetsSpatially Utah Arizona) CountriesAndRegions.kif 1120-1120
(termFormat EnglishLanguage Arizona "Arizona") domainEnglishFormat.kif 64498-64498


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