AssociationOfSoutheastAsianNations - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2831-2831	The day 8 is a date established 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 an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2834-2834	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 2832-2832	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 2833-2833	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 2830-2830	"ASEAN" is an abbreviation of association of southeast asian nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2829-2829	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 8805-8805	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 8804-8804	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"