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	The day 15 is a date established of world trade organization
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	World trade organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4379-4379	Promotion of free trade is an organizational objective of world trade organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3127-3127	World trade organization is a part of the organization economic and social council

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4373-4373	"WTrO" is an abbreviation of world trade organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4372-4372	World trade organization is a conventional long name of "World Trade Organization"
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