Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoordinatingCommitteeOnExportControls

Sigma KEE - CoordinatingCommitteeOnExportControls
CoordinatingCommitteeOnExportControls(coordinating committee on export controls)

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners