Argentina
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2957-2957 | currencyType Argentina and ArgentineAustral |
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 | economyType Argentina and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 235-235 | economyType Argentina and LessDevelopedCountry |
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 | geographicSubregion Argentina and SouthernSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 514-514 | Argentina est une instance de nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3923-3923 | claimedTerritory Antarctica and Argentina |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2682-2682 | geographicSubregion BuenosAiresArgentina and Argentina |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4133-4133 | Argentina s'appele nom "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 | codeMapping ISO-3166-1-alpha-2, "AR" and Argentina |