Afghanistan
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2884-2884 | Afghan afghani is a currency type of afghanistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1177-1177 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 615-615 | Developing country is an economy type of afghanistan |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 231-231 | Less developed country is an economy type of afghanistan |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 209-209 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 567-567 | Afghanistan is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 568-568 | Afghanistan is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2915-2915 | Heart afghanistan is a geographic subregion of afghanistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3009-3009 | Kabul afghanistan is a geographic subregion of afghanistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3170-3170 | Maidan shar afghanistan is a geographic subregion of afghanistan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4160-4160 | Afghanistan has name "Afghanistan" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5700-5700 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5699-5699 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5698-5698 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2644-2644 | "AF" in ISO-3166-1-alpha-2 denotes afghanistan |