No TPTP formula. May not be expressible in strict first order. |
naics.kif 8515-8515 |
所有其他管道运输 是 其他管道运输 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8508-8508 |
精制石油产品的管道运输 是 其他管道运输 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43380-43380 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43379-43379 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43378-43378 |
|