InternationalConfederationOfFreeTradeUnions(international confederation of free trade unions) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3443-3443 | The month December is a date established of international confederation of free trade unions |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3440-3440 | International confederation of free trade unions is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3444-3444 | Promote trade unionism is an organizational objective of international confederation of free trade unions |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3442-3442 | "ICFTU" is an abbreviation of international confederation of free trade unions |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3441-3441 | International confederation of free trade unions is a conventional long name of "International Confederation of Free Trade Unions" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30541-30541 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30540-30540 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30539-30539 |