|
|
  MarawiPhilippines
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2021-2021 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3196-3196 | geographicSubregion MarawiPhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2020-2020 | MarawiPhilippines est une instance de ville |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3197-3197 | MarawiPhilippines s'appele nom "Marawi" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36107-36107 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36106-36106 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36105-36105 |
|
|
|