TreeView Knowledge Base Browser - WorldConfederationOfLabor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4326-4326	19 Day 是世界劳工联合会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4331-4333
No TPTP formula. May not be expressible in strict first order.	Government.kif 4323-4323	世界劳工联合会是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4329-4329	促进工会主义是世界劳工联合会的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4325-4325	世界劳工联合会是 "WCL" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 4324-4324	世界劳工联合会是 "World Confederation of Labor" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4328-4328	"IFCTU" 是对于世界劳工联合会的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 4327-4327	"International Federation of Christian Trade Unions" 是对于世界劳工联合会的 former name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63489-63489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63488-63488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63487-63487