Argentina
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2957-2957 | Argentine austral is a currency type of argentina |
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 | Developing country is an economy type of argentina |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 235-235 | Less developed country is an economy type of argentina |
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 | Argentina is a geographic subregion of southern south america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 514-514 | Argentina is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3923-3923 | Argentina is a claimed territory of antarctica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2682-2682 | Buenos aires argentina is a geographic subregion of argentina |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4133-4133 | Argentina has name "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" in ISO-3166-1-alpha-2 denotes argentina |