|
|
  diplomaticRelations
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2833-2833 | 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 2830-2830 | 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 2836-2836 | 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 2834-2834 | 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 2835-2835 | 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 2832-2832 | "ASEAN" is an abbreviation of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2831-2831 | 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 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8801-8801 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8800-8800 |
|
|
|