No TPTP formula. May not be expressible in strict first order. |
Government.kif 4121-4121 |
社會經濟研究 是 聯合國社會發展研究所 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4233-4233 |
社會經濟研究 是 聯合國大學 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53662-53662 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53661-53661 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53660-53660 |
|