| 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 | 阿富汗 是 国家 的 instance |
| 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" |
| 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 阿富汗 |
|
|
|