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	The day 19 is a date established of world confederation of labor
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	World confederation of labor is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4293-4293	Promote trade unionism is an organizational objective of world confederation of labor

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4289-4289	"WCL" is an abbreviation of world confederation of labor
No TPTP formula. May not be expressible in strict first order.	Government.kif 4288-4288	World confederation of labor is a conventional long name of "World Confederation of Labor"
No TPTP formula. May not be expressible in strict first order.	Government.kif 4292-4292	"IFCTU" is a former name for world confederation of labor
No TPTP formula. May not be expressible in strict first order.	Government.kif 4291-4291	"International Federation of Christian Trade Unions" is a former name for world confederation of labor
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