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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PuertoAlviraColombia
PuertoAlviraColombia(波爾圖阿爾維拉哥倫比亞)

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


(documentation PuertoAlviraColombia EnglishLanguage "The City of PuertoAlvira in Colombia.") CountriesAndRegions.kif 2210-2210
(externalImage PuertoAlviraColombia "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2f/ Republic_of_Colombia_-_Meta.png") pictureList.kif 5650-5650
(geographicSubregion PuertoAlviraColombia Colombia) CountriesAndRegions.kif 3401-3401 波爾圖阿爾維拉哥倫比亞哥倫比亞geographic 次要地區
(instance PuertoAlviraColombia City) CountriesAndRegions.kif 2209-2209 波爾圖阿爾維拉哥倫比亞 and City

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


(names "Puerto Alvira" PuertoAlviraColombia) CountriesAndRegions.kif 3402-3402 "Puerto Alvira" and 波爾圖阿爾維拉哥倫比亞
(termFormat ChineseLanguage PuertoAlviraColombia "波尔图阿尔维拉哥伦比亚") domainEnglishFormat.kif 48044-48044
(termFormat ChineseTraditionalLanguage PuertoAlviraColombia "波爾圖阿爾維拉哥倫比亞") domainEnglishFormat.kif 48043-48043
(termFormat EnglishLanguage PuertoAlviraColombia "puerto alvira colombia") domainEnglishFormat.kif 48042-48042


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