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 est une instance de nation |
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 s'appele nom "Philippines" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45572-45572 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45571-45571 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45570-45570 |
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 |