No TPTP formula. May not be expressible in strict first order. |
Government.kif 3442-3442 |
abbreviation "ICFTU" and InternationalConfederationOfFreeTradeUnions |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3441-3441 |
conventionalLongName "International Confederation of Free Trade Unions" and InternationalConfederationOfFreeTradeUnions |
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 |
|