No TPTP formula. May not be expressible in strict first order. |
naics.kif 8502-8502 |
子屬性 其他管道運輸 and 管道運輸 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8490-8490 |
子屬性 原油管道運輸 and 管道運輸 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8496-8496 |
子屬性 管道輸送天然氣 and 管道運輸 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45906-45906 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45905-45905 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45904-45904 |
|