|
|
  CoordinatingCommitteeOnExportControls
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2994-2994 | 31 Day 是 出口管制协调委员会 的闭幕 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2993-2993 | 1949 Year 是 出口管制协调委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2997-3001 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2990-2990 | 出口管制协调委员会 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2995-2995 | Wassenaar安排 是 出口管制协调委员会 的 successor 组织 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2992-2992 | 出口管制协调委员会 是 "COCOM" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2991-2991 | 出口管制协调委员会 是 "Coordinating Committee on Export Controls" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17214-17214 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17213-17213 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17212-17212 |
|
|
|