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 |
|