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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MarawiPhilippines

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 geographicSubregion MarawiPhilippines and Philippines
(instance MarawiPhilippines City) CountriesAndRegions.kif 2020-2020 MarawiPhilippines都市instance では %n

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


(names "Marawi" MarawiPhilippines) CountriesAndRegions.kif 3197-3197 MarawiPhilippines は "Marawi" の name を 持って %n{ない}
(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 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