TreeView Knowledge Base Browser - SouthernConeCommonMarket

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3866-3866	dateEstablished SouthernConeCommonMarket and le jour 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 3861-3861	SouthernConeCommonMarket est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3867-3867	organizationalObjective SouthernConeCommonMarket and EconomicCooperation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3864-3864	abbreviation "Mercosur" and SouthernConeCommonMarket
No TPTP formula. May not be expressible in strict first order.	Government.kif 3863-3863	conventionalLongName "Southern Common Market" and SouthernConeCommonMarket
No TPTP formula. May not be expressible in strict first order.	Government.kif 3862-3862	conventionalLongName "Southern Cone Common Market" and SouthernConeCommonMarket
No TPTP formula. May not be expressible in strict first order.	Government.kif 3865-3865	localLongName "Mercado Comun del Cono Sur" and SouthernConeCommonMarket
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54204-54204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54203-54203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54202-54202