No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5771-5771 |
工业原料 是 生产平均值 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5783-5783 |
工业供应 是 生产平均值 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36647-36647 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36646-36646 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36645-36645 |
|