No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1867-1867 |
钢锻造 是 钢铁工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1868-1868 |
钢铁铸造厂除投资外 是 钢铁工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1869-1869 |
钢铁投资铸造厂 是 钢铁工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1866-1866 |
钢厂 是 钢铁工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1870-1870 |
采购钢材生产钢材 是 钢铁工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55248-55248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55247-55247 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55246-55246 |
|