|
|
  GulfCooperationCouncil
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3367-3367 | 25 Day 是 海湾合作委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3364-3364 | 海湾合作委员会 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3369-3369 | 经济合作 是 海湾合作委员会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3370-3370 | 军事合作 是 海湾合作委员会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3368-3368 | 政治合作 是 海湾合作委员会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3371-3371 | 社会合作 是 海湾合作委员会 的 organizational 目标 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3366-3366 | 海湾合作委员会 是 "GCC" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3365-3365 | 海湾合作委员会 是 "Gulf Cooperation Council" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27042-27042 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27041-27041 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27040-27040 |
|
|
|