No TPTP formula. May not be expressible in strict first order. |
Economy.kif 832-832 |
公有土地所有权经济 是 社会主义经济 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 816-816 |
民主社会主义 是 社会主义经济 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 807-807 |
纯粹的社会主义经济 是 社会主义经济 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53632-53632 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53631-53631 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53630-53630 |
|