TreeView Knowledge Base Browser - WassenaarArrangement

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4254-4254	dateEstablished WassenaarArrangement and o dia 12
No TPTP formula. May not be expressible in strict first order.	Government.kif 4252-4252	WassenaarArrangement e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4255-4255	organizationalObjective WassenaarArrangement and ArmsControl

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4253-4253	conventionalLongName "Wassenaar Arrangement" and WassenaarArrangement
No TPTP formula. May not be expressible in strict first order.	Government.kif 2959-2959	successorOrganization CoordinatingCommitteeOnExportControls and WassenaarArrangement
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62285-62285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62284-62284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62283-62283