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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CuzcoPeru

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 18252-18252
(termFormat ChineseTraditionalLanguage CuzcoPeru "庫斯科秘魯") domainEnglishFormat.kif 18251-18251
(termFormat EnglishLanguage CuzcoPeru "cuzco peru") domainEnglishFormat.kif 18250-18250


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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