AssociationOfSoutheastAsianNations
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2833-2833 | 天 8 and 月 August and 年 1967 是 東南亞國家聯盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2830-2830 | 例 東南亞國家聯盟 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2836-2836 | 文化合作 是 東南亞國家聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2834-2834 | 經濟合作 是 東南亞國家聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2835-2835 | 社會合作 是 東南亞國家聯盟 的 organizational 目標 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2832-2832 | 東南亞國家聯盟 是 "ASEAN" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2831-2831 | 東南亞國家聯盟 是 "Association of Southeast Asian Nations" 的 conventional 全名 |
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 |