No TPTP formula. May not be expressible in strict first order. |
Government.kif 3929-3929 |
教育合作 是 联合国教育科学文化组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4035-4035 |
教育合作 是 联合国训练研究所 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4003-4003 |
教育合作 是 联合国区域间犯罪和司法研究所 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4015-4015 |
教育合作 是 联合国系统职员学院 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21258-21258 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21257-21257 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21256-21256 |
|