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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AtlantaGeorgia
AtlantaGeorgia(atlanta georgia)
Atlanta, capital_of_Georgia

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


(documentation AtlantaGeorgia EnglishLanguage "The largest City in Georgia.") CountriesAndRegions.kif 712-712
(externalImage AtlantaGeorgia "http://upload.wikimedia.org/wikipedia/commons/ 5/ 50/ Downtown_Atlanta_from_North_Ave_and_Peachtree_St_with_SoNo_in_foreground.JPG") pictureList.kif 4514-4514
(instance AtlantaGeorgia AmericanCity) CountriesAndRegions.kif 710-710 Atlanta georgia is an instance of american city
(part AtlantaGeorgia Georgia) CountriesAndRegions.kif 711-711 Atlanta georgia is a part of georgia

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


(termFormat ChineseLanguage AtlantaGeorgia "美国佐治亚州亚特兰大") domainEnglishFormat.kif 8874-8874
(termFormat ChineseTraditionalLanguage AtlantaGeorgia "美國佐治亞州亞特蘭大") domainEnglishFormat.kif 8873-8873
(termFormat EnglishLanguage AtlantaGeorgia "atlanta georgia") domainEnglishFormat.kif 8872-8872


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