| 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 2800-2800 | 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 2797-2797 | 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 2803-2803 | 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 2801-2801 | 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 2802-2802 | 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 2799-2799 | "ASEAN" is an abbreviation of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2798-2798 | 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 |
|
|
|