AssociationOfSoutheastAsianNations - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2830-2830	The day 8 of month the month August is a date established of association of southeast asian nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2827-2827	Association of southeast asian nations is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2833-2833	Cultural cooperation is an organizational objective of association of southeast asian nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2831-2831	Economic cooperation is an organizational objective of association of southeast asian nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2832-2832	Social cooperation is an organizational objective of association of southeast asian nations

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2829-2829	"ASEAN" is an abbreviation of association of southeast asian nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2828-2828	Association of southeast asian nations is a conventional long name of "Association of Southeast Asian Nations"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8803-8803	Association of southeast asian nations is a conventional long name of "Association of Southeast Asian Nations"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8802-8802	Association of southeast asian nations is a conventional long name of "Association of Southeast Asian Nations"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8801-8801	Association of southeast asian nations is a conventional long name of "Association of Southeast Asian Nations"