|
|
  Afghanistan
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2884-2884 | 阿富汗阿富汗尼 是 阿富汗 的 currency 類別 |
| 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 | 發展中國家 是 阿富汗 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 231-231 | 較未發達國家 是 阿富汗 的 economy 類別 |
| 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 | 阿富汗 是 南亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 568-568 | 例 阿富汗 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2915-2915 | 心臟阿富汗 是 阿富汗 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3009-3009 | 喀布爾阿富汗 是 阿富汗 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3170-3170 | Maidan shar 阿富汗 是 阿富汗 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4160-4160 | 名 "Afghanistan" and 阿富汗 |
| 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" 在 ISO-3166-1-alpha-2 denotes 阿富汗 |
|
|
|
