|
|
  Philippines
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3405-3405 | currencyType Philippines and PhilippinePeso |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1323-1323 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 698-698 | economyType Philippines and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 314-314 | economyType Philippines and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 663-663 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 619-619 | geographicSubregion Philippines and SoutheasternAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 620-620 | Philippines e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2732-2732 | geographicSubregion ClarkAirbasePhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2861-2861 | geographicSubregion GeneralSantosPhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2946-2946 | geographicSubregion IpilPhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3001-3001 | geographicSubregion JoloPhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3007-3007 | geographicSubregion KabacanPhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3071-3071 | geographicSubregion KidapawanPhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3188-3188 | geographicSubregion ManilaPhilippines and Philippines |
| 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 3236-3236 | geographicSubregion MindanaoPhilippines and Philippines |
| 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 3385-3385 | geographicSubregion PatikulPhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3696-3696 | geographicSubregion ZamboangaPhilippines and Philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4184-4184 | Philippines se chama nome "Philippines" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45570-45570 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45569-45569 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45568-45568 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2792-2792 | codeMapping ISO-3166-1-alpha-2, "PH" and Philippines |
|
|
|
