PosteriorBranch
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3385-3385 | currencyType Pakistan and PakistaniRupee |
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 | economyType Pakistan and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 309-309 | economyType Pakistan and LessDevelopedCountry |
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 | geographicSubregion Pakistan and SouthernAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 581-581 | Pakistan e' uma instancia de Nacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2588-2588 | geographicSubregion BahawalpurPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2711-2711 | geographicSubregion ChamanPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2715-2715 | geographicSubregion CharsaadaPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2788-2788 | geographicSubregion DistrictOfMansehraPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2950-2950 | geographicSubregion IslamabadPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3025-3025 | geographicSubregion KarachiPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3105-3105 | geographicSubregion LahorePakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3198-3198 | geographicSubregion MardanPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3241-3241 | geographicSubregion MiranShahPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3344-3344 | geographicSubregion OkaraPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3391-3391 | geographicSubregion PeshawarPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3405-3405 | geographicSubregion PunjabPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3407-3407 | geographicSubregion QuettaPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3427-3427 | geographicSubregion RawalpindiPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3455-3455 | geographicSubregion SaadaPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3562-3562 | geographicSubregion TailaPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3568-3568 | geographicSubregion TaxilaPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3622-3622 | geographicSubregion TurbatPakistan and Pakistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4167-4167 | Pakistan se chama nome "Pakistan" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44072-44072 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44071-44071 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44070-44070 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2786-2786 | codeMapping ISO-3166-1-alpha-2, "PK" and Pakistan |