|
|
  Philippines
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3405-3405 | Philippine peso is a currency type of philippines |
| 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 | Developing country is an economy type of philippines |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 314-314 | Less developed country is an economy type of philippines |
| 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 | Philippines is a geographic subregion of southeastern asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 620-620 | Philippines is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2732-2732 | Clark airbase philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2861-2861 | General santos philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2946-2946 | Ipil philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3001-3001 | Jolo philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3007-3007 | Kabacan philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3071-3071 | Kidapawan philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3188-3188 | Manila philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3196-3196 | Marawi philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3236-3236 | Mindanao philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3367-3367 | Ozamis philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3385-3385 | Patikul philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3696-3696 | Zamboanga philippines is a geographic subregion of philippines |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4184-4184 | Philippines has name "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 | "PH" in ISO-3166-1-alpha-2 denotes philippines |
|
|
|
