No TPTP formula. May not be expressible in strict first order. |
Government.kif 3828-3828 |
abbreviation "Mercosur" and SouthernConeCommonMarket |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3827-3827 |
conventionalLongName "Southern Common Market" and SouthernConeCommonMarket |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3826-3826 |
conventionalLongName "Southern Cone Common Market" and SouthernConeCommonMarket |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3829-3829 |
localLongName "Mercado Comun del Cono Sur" and SouthernConeCommonMarket |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54206-54206 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54205-54205 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54204-54204 |
|