TreeView Knowledge Base Browser - SouthernConeCommonMarket

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3830-3830	The day 26 is a date established of southern cone common market
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	Southern cone common market is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3831-3831	Economic cooperation is an organizational objective of southern cone common market

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3828-3828	"Mercosur" is an abbreviation of southern cone common market
No TPTP formula. May not be expressible in strict first order.	Government.kif 3827-3827	Southern cone common market is a conventional long name of "Southern Common Market"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3826-3826	Southern cone common market is a conventional long name of "Southern Cone Common Market"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3829-3829	Southern cone common market is a local long name of "Mercado Comun del Cono Sur"
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