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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AyacuchoPeru
AyacuchoPeru

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


(documentation AyacuchoPeru EnglishLanguage "The City of Ayacucho in Peru.") CountriesAndRegions.kif 1477-1477
(externalImage AyacuchoPeru "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b9/ Location_of_the_city_of_Ayacucho_in_Peru.png/ 200px-Location_of_the_city_of_Ayacucho_in_Peru.png") pictureList.kif 1400-1400
(geographicSubregion AyacuchoPeru Peru) CountriesAndRegions.kif 2578-2578
(instance AyacuchoPeru City) CountriesAndRegions.kif 1476-1476

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


(names "Ayacucho" AyacuchoPeru) CountriesAndRegions.kif 2579-2579
(termFormat ChineseLanguage AyacuchoPeru "ayacucho 秘鲁") domainEnglishFormat.kif 9426-9426
(termFormat ChineseTraditionalLanguage AyacuchoPeru "ayacucho 秘魯") domainEnglishFormat.kif 9425-9425
(termFormat EnglishLanguage AyacuchoPeru "ayacucho peru") domainEnglishFormat.kif 9424-9424


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