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 | Marawi菲律宾 是 菲律宾 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2020-2020 | Marawi菲律宾 是 城市 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3197-3197 | Marawi菲律宾 的名 是 "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 |