TreeView Knowledge Base Browser - WorldCustomsOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3055-3055	15 Day 是世界海关组织的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3050-3050	世界海关组织是国际组织的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3053-3053	世界海关组织是 "CCC" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3054-3054	世界海关组织是 "WCO" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3051-3051	世界海关组织是 "Customs Cooperation Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3052-3052	世界海关组织是 "World Customs Organization" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63495-63495
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63494-63494
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63493-63493