TreeView Knowledge Base Browser - InlandWaterTransportation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8229-8231
No TPTP formula. May not be expressible in strict first order.	naics.kif 8227-8227	子屬性內陸水運 and 水運業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8233-8233	子屬性內陸水運貨物運輸 and 內陸水運
No TPTP formula. May not be expressible in strict first order.	naics.kif 8240-8240	子屬性內陸水運客運 and 內陸水運
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30175-30175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30174-30174
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30173-30173