TreeView Knowledge Base Browser - WorldTradeOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4374-4374	天 15 and 月 April and 年 1994 是世貿組織的成立 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	例世貿組織 and 國際組織
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	子組織世貿組織 and 經濟和社會理事會

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