No TPTP formula. May not be expressible in strict first order. |
Economy.kif 858-858 |
中央计划经济 是 政府规制经济 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 884-884 |
国有化的工业经济 是 政府规制经济 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26322-26322 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26321-26321 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26320-26320 |
|