CoordinatingCommitteeOnExportControls
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2994-2994 | The day 31 is a date dissolved of coordinating committee on export controls |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2993-2993 | The year 1949 is a date established of coordinating committee on export controls |
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 | Coordinating committee on export controls is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2995-2995 | Wassenaar arrangement is a successor organization of coordinating committee on export controls |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2992-2992 | "COCOM" is an abbreviation of coordinating committee on export controls |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2991-2991 | Coordinating committee on export controls is a conventional long name of "Coordinating Committee on Export Controls" |
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 |