| 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 | Marawi philippines is a geographic subregion of philippines |
| (instance MarawiPhilippines City) | CountriesAndRegions.kif 2020-2020 | Marawi philippines is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Marawi" MarawiPhilippines) | CountriesAndRegions.kif 3197-3197 | Marawi philippines has name "Marawi" |
| (termFormat ChineseLanguage MarawiPhilippines "marawi菲律宾") | domainEnglishFormat.kif 36141-36141 | Marawi philippines has name "Marawi" |
| (termFormat ChineseTraditionalLanguage MarawiPhilippines "marawi菲律賓") | domainEnglishFormat.kif 36140-36140 | Marawi philippines has name "Marawi" |
| (termFormat EnglishLanguage MarawiPhilippines "marawi philippines") | domainEnglishFormat.kif 36139-36139 | Marawi philippines has name "Marawi" |
|
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