No TPTP formula. May not be expressible in strict first order. |
Government.kif 3442-3442 |
国际自由工会联合会 是 "ICFTU" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3441-3441 |
国际自由工会联合会 是 "International Confederation of Free Trade Unions" 的 conventional 全名 |
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 |
|