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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ManilaPhilippines
ManilaPhilippines

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


(documentation ManilaPhilippines EnglishLanguage "The City of Manila in Philippines.") CountriesAndRegions.kif 2013-2013
(geographicSubregion ManilaPhilippines Philippines) CountriesAndRegions.kif 3188-3188
(instance ManilaPhilippines City) CountriesAndRegions.kif 2012-2012

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


(names "Manila" ManilaPhilippines) CountriesAndRegions.kif 3189-3189
(termFormat ChineseLanguage ManilaPhilippines "菲律宾马尼拉") domainEnglishFormat.kif 36005-36005
(termFormat ChineseTraditionalLanguage ManilaPhilippines "菲律賓馬尼拉") domainEnglishFormat.kif 36004-36004
(termFormat EnglishLanguage ManilaPhilippines "manila philippines") domainEnglishFormat.kif 36003-36003


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