|
|
  Afghanistan
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2884-2884 | currencyType Afghanistan and AfghanAfghani |
| 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 | economyType Afghanistan and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 231-231 | economyType Afghanistan and LessDevelopedCountry |
| 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 | geographicSubregion Afghanistan and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 568-568 | Afghanistan e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2915-2915 | geographicSubregion HeartAfghanistan and Afghanistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3009-3009 | geographicSubregion KabulAfghanistan and Afghanistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3170-3170 | geographicSubregion MaidanSharAfghanistan and Afghanistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4160-4160 | Afghanistan se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "AF" and Afghanistan |
|
|
|
