TreeView Knowledge Base Browser - LatinAmericanEconomicSystem

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3632-3632	The day 17 is a date established of latin american economic system
No TPTP formula. May not be expressible in strict first order.	Government.kif 3627-3627	Latin american economic system is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3633-3633	Economic development is an organizational objective of latin american economic system
No TPTP formula. May not be expressible in strict first order.	Government.kif 3634-3634	Social development is an organizational objective of latin american economic system

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3629-3629	"LAES" is an abbreviation of latin american economic system
No TPTP formula. May not be expressible in strict first order.	Government.kif 3628-3628	Latin american economic system is a conventional long name of "Latin American Economic System"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3630-3630	Latin american economic system is a local long name of "Sistema Economico Latinoamericana"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3631-3631	Latin american economic system is a local short name of "SELA"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33443-33443
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33442-33442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33441-33441