WorldTradeOrganization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4374-4374	15 Day 是世贸组织的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4376-4377
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6988-6988
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8296-8296
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8297-8297
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8300-8300
No TPTP formula. May not be expressible in strict first order.	Government.kif 4371-4371	世贸组织是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4379-4379	促进自由贸易是世贸组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3127-3127	世贸组织是经济和社会理事会 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4373-4373	世贸组织是 "WTrO" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 4372-4372	世贸组织是 "World Trade Organization" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63549-63549
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63548-63548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63547-63547