TreeView Knowledge Base Browser - WorldConfederationOfLabor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4290-4290	dateEstablished WorldConfederationOfLabor and le jour 19
No TPTP formula. May not be expressible in strict first order.	Government.kif 4295-4297
No TPTP formula. May not be expressible in strict first order.	Government.kif 4287-4287	WorldConfederationOfLabor est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4293-4293	organizationalObjective WorldConfederationOfLabor and PromoteTradeUnionism

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4289-4289	abbreviation "WCL" and WorldConfederationOfLabor
No TPTP formula. May not be expressible in strict first order.	Government.kif 4288-4288	conventionalLongName "World Confederation of Labor" and WorldConfederationOfLabor
No TPTP formula. May not be expressible in strict first order.	Government.kif 4292-4292	formerName "IFCTU" and WorldConfederationOfLabor
No TPTP formula. May not be expressible in strict first order.	Government.kif 4291-4291	formerName "International Federation of Christian Trade Unions" and WorldConfederationOfLabor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63491-63491
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63490-63490
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63489-63489