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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 12/ National-atlas-arizona.png") pictureList.kif 5101-5101
(externalImage Arizona " 3e/ Arizona-sunset.jpg") pictureList.kif 5206-5206
(externalImage Arizona " 62/ Phoenix_skyline_Arizona_USA.jpg") pictureList.kif 5210-5210
(externalImage Arizona " ba/ City_Street_of_Tucson%2C_AZ.jpg") pictureList.kif 5211-5211
(externalImage Arizona " e2/ Entering_Arizona_on_I-10_Westbound.jpg") pictureList.kif 5208-5208
(externalImage Arizona "") pictureList.kif 5209-5209
(externalImage Arizona "") pictureList.kif 5207-5207
(externalImage Arizona "") pictureList.kif 5212-5212
(instance Arizona AmericanState) CountriesAndRegions.kif 883-883 ArizonaAmericanStateinstance では %n
(meetsSpatially Arizona California) CountriesAndRegions.kif 885-885 ArizonaCaliforniameets %n{ない}
(meetsSpatially Arizona Mexico) CountriesAndRegions.kif 886-886 ArizonaMexicomeets %n{ない}
(meetsSpatially Arizona Nevada) CountriesAndRegions.kif 884-884 ArizonaNevadameets %n{ない}

appearance as argument number 2

(meetsSpatially Colorado Arizona) CountriesAndRegions.kif 910-910 ColoradoArizonameets %n{ない}
(meetsSpatially NewMexico Arizona) CountriesAndRegions.kif 1047-1047 NewMexicoArizonameets %n{ない}
(meetsSpatially Utah Arizona) CountriesAndRegions.kif 1120-1120 UtahArizonameets %n{ない}
(termFormat EnglishLanguage Arizona "Arizona") domainEnglishFormat.kif 64473-64473

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