TreeView Knowledge Base Browser - WassenaarArrangement

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4290-4290	dateEstablished WassenaarArrangement and le jour 12
No TPTP formula. May not be expressible in strict first order.	Government.kif 4288-4288	WassenaarArrangement est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4291-4291	organizationalObjective WassenaarArrangement and ArmsControl

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4289-4289	conventionalLongName "Wassenaar Arrangement" and WassenaarArrangement
No TPTP formula. May not be expressible in strict first order.	Government.kif 2995-2995	successorOrganization CoordinatingCommitteeOnExportControls and WassenaarArrangement
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62283-62283
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62282-62282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62281-62281