| Pakistan(pakistan)
| | Islamic_Republic_of_Pakistan, Pakistan, West_Pakistan |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3385-3385 | Pakistani rupee is a currency type of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1317-1317 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 693-693 | Developing country is an economy type of pakistan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 309-309 | Less developed country is an economy type of pakistan |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 647-647 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 580-580 | Pakistan is a geographic subregion of southern asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 581-581 | Pakistan is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2588-2588 | Bahawalpur pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2711-2711 | Chaman pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2715-2715 | Charsaada pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2788-2788 | District of mansehra pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2950-2950 | Islamabad pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3025-3025 | Karachi pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3105-3105 | Lahore pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3198-3198 | Mardan pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3241-3241 | Miran shah pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3344-3344 | Okara pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3391-3391 | Peshawar pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3405-3405 | Punjab pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3407-3407 | Quetta pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3427-3427 | Rawalpindi pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3455-3455 | Saada pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3562-3562 | Taila pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3568-3568 | Taxila pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3622-3622 | Turbat pakistan is a geographic subregion of pakistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4167-4167 | Pakistan has name "Pakistan" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44070-44070 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44069-44069 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44068-44068 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2786-2786 | "PK" in ISO-3166-1-alpha-2 denotes pakistan |
|
|
|