| Afghanistan(afghanistan)
| | Afghanistan, Islamic_State_of_Afghanistan |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3221-3221 | Afghan afghani is a currency type of afghanistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1177-1177 | Afghan afghani is a currency type of afghanistan |
| 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 | Less developed country is an economy type of afghanistan |
| 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 5709-5709 | Afghanistan has name "Afghanistan" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5708-5708 | Afghanistan has name "Afghanistan" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5707-5707 | Afghanistan has name "Afghanistan" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2646-2646 | "AF" in ISO_3166_1_alpha_2 denotes afghanistan |
|
|
|