No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1824-1824 |
子屬性 天然氣分配 and 天然氣工業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1823-1823 |
子屬性 天然氣液體萃取 and 天然氣工業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1825-1825 |
子屬性 管道輸送天然氣 and 天然氣工業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39873-39873 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39872-39872 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39871-39871 |
|