|
|
  CouncilOfTheEntente
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3045-3045 | 29 Day 是 协约理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3042-3042 | 协约理事会 是 国际组织 的 instance |
| 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 |
|
|
|