CoordinatingCommitteeOnExportControls |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2994-2994 | dateDissolved CoordinatingCommitteeOnExportControls and o dia 31 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2993-2993 | dateEstablished CoordinatingCommitteeOnExportControls and o ano 1949 |
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 | CoordinatingCommitteeOnExportControls e' uma instancia de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2995-2995 | successorOrganization CoordinatingCommitteeOnExportControls and WassenaarArrangement |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2992-2992 | abbreviation "COCOM" and CoordinatingCommitteeOnExportControls |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2991-2991 | conventionalLongName "Coordinating Committee on Export Controls" and CoordinatingCommitteeOnExportControls |
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 |