No TPTP formula. May not be expressible in strict first order. |
naics.kif 8502-8502 |
其他管道运输 是 管道运输 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8490-8490 |
原油管道运输 是 管道运输 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8496-8496 |
管道输送天然气 是 管道运输 的 subAttribute |
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 |
|