| AssociationOfSoutheastAsianNations(association of southeast asian nations) | | ASEAN, Association_of_Southeast_Asian_Nations |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2832-2832 | 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 2829-2829 | 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 2835-2835 | 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 2833-2833 | 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 2834-2834 | 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 2831-2831 | "ASEAN" is an abbreviation of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2830-2830 | 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 8813-8813 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8812-8812 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8811-8811 |
|
|
|