TreeView Knowledge Base Browser - WorldFederationOfTradeUnions

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4338-4338	天 3 and 月 October and 年 1945 是世界工會聯合會的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4335-4335	例世界工會聯合會 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4339-4339	促進工會主義是世界工會聯合會的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4337-4337	世界工會聯合會是 "WFTU" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 4336-4336	世界工會聯合會是 "World Federation of Trade Unions" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63501-63501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63500-63500
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63499-63499