No TPTP formula. May not be expressible in strict first order. |
Government.kif 3205-3205 |
技術合作 是 歐洲核研究組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3213-3213 |
技術合作 是 歐洲航太局 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3875-3875 |
技術合作 是 聯合國發展計劃 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3993-3993 |
技術合作 是 聯合國工業發展組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57213-57213 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57212-57212 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57211-57211 |
|