|
|
  AssociationOfSoutheastAsianNations
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2869-2869 | 8 Day 是 东南亚国家联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2866-2866 | 东南亚国家联盟 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2872-2872 | 文化合作 是 东南亚国家联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2870-2870 | 经济合作 是 东南亚国家联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2871-2871 | 社会合作 是 东南亚国家联盟 的 organizational 目标 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2868-2868 | 东南亚国家联盟 是 "ASEAN" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2867-2867 | 东南亚国家联盟 是 "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 |
|
|
|