| Argentina(阿根廷)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2957-2957 | 阿根廷南部 是 阿根廷 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1182-1182 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 619-619 | 发展中国家 是 阿根廷 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 235-235 | 较未发达国家 是 阿根廷 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 233-233 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 513-513 | 阿根廷 是 南美洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 514-514 | 阿根廷 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3923-3923 | 阿根廷 是 南极洲 的 claimed 领土 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2682-2682 | 布宜诺斯艾利斯阿根廷 是 阿根廷 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4133-4133 | 阿根廷 的名 是 "Argentina" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8304-8304 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8303-8303 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8302-8302 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2649-2649 | "AR" 在 ISO-3166-1-alpha-2 denotes 阿根廷 |
|
|
|