|
|
  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 e' uma instancia de Nacao |
| 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 se chama nome "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 |
|
|
|
