|
|
  CouncilOfTheEntente
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3045-3045 | 天 29 and 月 May and 年 1959 是 協約理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3042-3042 | 例 協約理事會 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3046-3046 | 經濟合作 是 協約理事會 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3047-3047 | 政治合作 是 協約理事會 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3048-3048 | 社會合作 是 協約理事會 的 organizational 目標 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3043-3043 | 協約理事會 是 "Council of the Entente" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3044-3044 | 協約理事會 是 "Entente" 的 conventional 簡稱 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17544-17544 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17543-17543 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17542-17542 |
|
|
|