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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AyacuchoPeru

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 "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 1401-1401
(geographicSubregion AyacuchoPeru Peru) CountriesAndRegions.kif 2579-2579 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 2580-2580 Ayacucho peru has name "Ayacucho"
(termFormat ChineseLanguage AyacuchoPeru "ayacucho 秘鲁") domainEnglishFormat.kif 9435-9435
(termFormat ChineseTraditionalLanguage AyacuchoPeru "ayacucho 秘魯") domainEnglishFormat.kif 9434-9434
(termFormat EnglishLanguage AyacuchoPeru "ayacucho peru") domainEnglishFormat.kif 9433-9433


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