No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1844-1844 |
精煉石油產品 是 煉油廠 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5953-5953 |
子類 瀝青 and 精煉石油產品 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5933-5933 |
子類 液化石油氣 and 精煉石油產品 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5935-5935 |
子類 石油潤滑劑 and 精煉石油產品 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49118-49118 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49117-49117 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49116-49116 |
|