No TPTP formula. May not be expressible in strict first order. |
Government.kif 4157-4157 |
社会经济研究 是 联合国社会发展研究所 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4269-4269 |
社会经济研究 是 联合国大学 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53660-53660 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53659-53659 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53658-53658 |
|