TreeView Knowledge Base Browser - LatinAmericanIntegrationAssociation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3641-3641	The day 12 is a date established of latin american integration association
No TPTP formula. May not be expressible in strict first order.	Government.kif 3636-3636	Latin american integration association is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3643-3643	Economic integration is an organizational objective of latin american integration association
No TPTP formula. May not be expressible in strict first order.	Government.kif 3642-3642	Promotion of free trade is an organizational objective of latin american integration association

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3638-3638	"LAIA" is an abbreviation of latin american integration association
No TPTP formula. May not be expressible in strict first order.	Government.kif 3637-3637	Latin american integration association is a conventional long name of "Latin American Integration Association"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3639-3639	Latin american integration association is a local long name of "Asociacion Latinoamericana de Integracion"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3640-3640	Latin american integration association is a local short name of "ALADI"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33449-33449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33448-33448
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33447-33447