No TPTP formula. May not be expressible in strict first order. |
Government.kif 3444-3444 |
促進工會主義 是 國際自由工會聯合會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4329-4329 |
促進工會主義 是 世界勞工聯合會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4339-4339 |
促進工會主義 是 世界工會聯合會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47750-47750 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47749-47749 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47748-47748 |
|