No TPTP formula. May not be expressible in strict first order. |
Government.kif 4325-4325 |
abbreviation "WCL" and WorldConfederationOfLabor |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4324-4324 |
conventionalLongName "World Confederation of Labor" and WorldConfederationOfLabor |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4328-4328 |
formerName "IFCTU" and WorldConfederationOfLabor |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4327-4327 |
formerName "International Federation of Christian Trade Unions" and WorldConfederationOfLabor |
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 |
|