|
|
  OzamisPhilippines
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2176-2176 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3367-3367 | geographicSubregion OzamisPhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2175-2175 | OzamisPhilippines est une instance de ville |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3368-3368 | OzamisPhilippines s'appele nom "Ozamis" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43836-43836 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43835-43835 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43834-43834 |
|
|
|