PipelineTransportationOfRefinedPetroleumProducts(精制石油产品的管道运输) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8510-8513 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8508-8508 | 精制石油产品的管道运输 是 其他管道运输 的 subAttribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45924-45924 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45923-45923 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45922-45922 |
![]() |
![]() |