| AssociationOfSoutheastAsianNations(association of southeast asian nations) | | ASEAN, Association_of_Southeast_Asian_Nations, association_of_southeast_asian_nations |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2806-2806 | 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 2803-2803 | 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 2809-2809 | 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 2807-2807 | 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 2808-2808 | 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 2805-2805 | "ASEAN" is an abbreviation of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2804-2804 | 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 1901-1901 | "association of southeast asian nations" is the printable form of association of southeast asian nations in english language |
|
|
|