No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1835-1835 |
沥青铺设屋面和饱和材料制造 是 石油工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1832-1832 |
原油开采 是 石油工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1833-1833 |
钻井石油和天然气井 是 石油工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1830-1830 |
石油产品制造业 是 石油工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1831-1831 |
炼油厂 是 石油工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1834-1834 |
支持石油作业活动 是 石油工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45476-45476 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45475-45475 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45474-45474 |
|