TreeView Knowledge Base Browser - NuclearSuppliersGroup

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3699-3699	年 1974 是核供應國集團的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3694-3694	例核供應國集團 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3700-3700	核出口管制是核供應國集團的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3696-3696	核供應國集團是 "NSG" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3695-3695	核供應國集團是 "Nuclear Suppliers Group" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3698-3698	"London Group" 是對於核供應國集團的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3697-3697	"London Suppliers Group" 是對於核供應國集團的 former name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41385-41385
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41384-41384
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41383-41383