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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CuzcoPeru
CuzcoPeru

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
(instance CuzcoPeru City) CountriesAndRegions.kif 1648-1648

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


(names "Cuzco" CuzcoPeru) CountriesAndRegions.kif 2761-2761
(termFormat ChineseLanguage CuzcoPeru "库斯科秘鲁") domainEnglishFormat.kif 18252-18252
(termFormat ChineseTraditionalLanguage CuzcoPeru "庫斯科秘魯") domainEnglishFormat.kif 18251-18251
(termFormat EnglishLanguage CuzcoPeru "cuzco peru") domainEnglishFormat.kif 18250-18250


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