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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PuertoAlviraColombia
PuertoAlviraColombia(puerto alvira colombia)

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 Puerto alvira colombia is a geographic subregion of colombia
(instance PuertoAlviraColombia City) CountriesAndRegions.kif 2209-2209 Puerto alvira colombia is an instance of city

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


(names "Puerto Alvira" PuertoAlviraColombia) CountriesAndRegions.kif 3402-3402 Puerto alvira colombia has name "Puerto Alvira"
(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