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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MarawiPhilippines
MarawiPhilippines

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


(documentation MarawiPhilippines EnglishLanguage "The City of Marawi in Philippines.") CountriesAndRegions.kif 2021-2021
(geographicSubregion MarawiPhilippines Philippines) CountriesAndRegions.kif 3196-3196
(instance MarawiPhilippines City) CountriesAndRegions.kif 2020-2020

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


(names "Marawi" MarawiPhilippines) CountriesAndRegions.kif 3197-3197
(termFormat ChineseLanguage MarawiPhilippines "marawi菲律宾") domainEnglishFormat.kif 36107-36107
(termFormat ChineseTraditionalLanguage MarawiPhilippines "marawi菲律賓") domainEnglishFormat.kif 36106-36106
(termFormat EnglishLanguage MarawiPhilippines "marawi philippines") domainEnglishFormat.kif 36105-36105


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