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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CuzcoPeru
CuzcoPeru(cuzco peru)

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


(documentation CuzcoPeru EnglishLanguage "The City of Cuzco in Peru.") CountriesAndRegions.kif 1649-1649
(externalImage CuzcoPeru "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 3b/ Location_of_the_city_of_Cusco_in_Peru.png/ 200px-Location_of_the_city_of_Cusco_in_Peru.png") pictureList.kif 1401-1401
(geographicSubregion CuzcoPeru Peru) CountriesAndRegions.kif 2760-2760 Cuzco peru is a geographic subregion of peru
(instance CuzcoPeru City) CountriesAndRegions.kif 1648-1648 Cuzco peru is an instance of city

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


(names "Cuzco" CuzcoPeru) CountriesAndRegions.kif 2761-2761 Cuzco peru has name "Cuzco"
(termFormat ChineseLanguage CuzcoPeru "库斯科秘鲁") domainEnglishFormat.kif 18268-18268 Cuzco peru has name "Cuzco"
(termFormat ChineseTraditionalLanguage CuzcoPeru "庫斯科秘魯") domainEnglishFormat.kif 18267-18267 Cuzco peru has name "Cuzco"
(termFormat EnglishLanguage CuzcoPeru "cuzco peru") domainEnglishFormat.kif 18266-18266 Cuzco peru has name "Cuzco"


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