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 | 例 阿根廷 and Nation |
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" and 阿根廷 |
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 阿根廷 |