No TPTP formula. May not be expressible in strict first order. |
Government.kif 4325-4325 |
"WCL" is an abbreviation of world confederation of labor |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4324-4324 |
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 4328-4328 |
"IFCTU" is a former name for world confederation of labor |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4327-4327 |
"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 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 |
|