WorldTradeOrganization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4338-4338	dateEstablished WorldTradeOrganization and le jour 15
No TPTP formula. May not be expressible in strict first order.	Government.kif 4340-4341
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 4335-4335	WorldTradeOrganization est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4343-4343	organizationalObjective WorldTradeOrganization and PromotionOfFreeTrade
No TPTP formula. May not be expressible in strict first order.	Government.kif 3091-3091	WorldTradeOrganization est une partie de l'organization EconomicAndSocialCouncil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4337-4337	abbreviation "WTrO" and WorldTradeOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4336-4336	conventionalLongName "World Trade Organization" and WorldTradeOrganization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63551-63551
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63550-63550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63549-63549