AllOtherPipelineTransportation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8517-8520 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8515-8515 | 所有其他管道运输 是 其他管道运输 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6858-6858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6857-6857 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6856-6856 |