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	dateEstablished WorldTradeOrganization and o dia 15
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	WorldTradeOrganization e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4379-4379	organizationalObjective WorldTradeOrganization and PromotionOfFreeTrade
No TPTP formula. May not be expressible in strict first order.	Government.kif 3127-3127	WorldTradeOrganization e' uma parte da organizacao EconomicAndSocialCouncil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4373-4373	abbreviation "WTrO" and WorldTradeOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4372-4372	conventionalLongName "World Trade Organization" and WorldTradeOrganization
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