SouthernConeCommonMarket - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3830-3830	dateEstablished SouthernConeCommonMarket and o dia 26
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6881-6881
No TPTP formula. May not be expressible in strict first order.	Government.kif 3825-3825	SouthernConeCommonMarket e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3831-3831	organizationalObjective SouthernConeCommonMarket and EconomicCooperation

appearance as argument number 2

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