No TPTP formula. May not be expressible in strict first order. |
Government.kif 3242-3242 |
科學合作 是 歐洲核研究組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3397-3397 |
科學合作 是 政府間發展權威 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3536-3536 |
科學合作 是 國際水文組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3927-3927 |
科學合作 是 聯合國教育科學文化組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4363-4363 |
科學合作 是 世界氣象組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51573-51573 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51572-51572 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51571-51571 |
|