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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AyacuchoPeru
AyacuchoPeru(ayacucho peru)

appearance as argument number 1

(documentation AyacuchoPeru EnglishLanguage "The City of Ayacucho in Peru.") CountriesAndRegions.kif 1477-1477
(externalImage AyacuchoPeru " 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 Ayacucho peru is a geographic subregion of peru
(instance AyacuchoPeru City) CountriesAndRegions.kif 1476-1476 Ayacucho peru is an instance of city

appearance as argument number 2

(names "Ayacucho" AyacuchoPeru) CountriesAndRegions.kif 2579-2579 Ayacucho peru has name "Ayacucho"
(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