TreeView Knowledge Base Browser - OtherPipelineTransportation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8504-8506
No TPTP formula. May not be expressible in strict first order.	naics.kif 8502-8502	子屬性其他管道運輸 and 管道運輸

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8515-8515	子屬性所有其他管道運輸 and 其他管道運輸
No TPTP formula. May not be expressible in strict first order.	naics.kif 8508-8508	子屬性精製石油產品的管道運輸 and 其他管道運輸
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