TreeView Knowledge Base Browser - SupportActivitiesForWaterTransportation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8621-8623
No TPTP formula. May not be expressible in strict first order.	naics.kif 8619-8619	子屬性支持水上運輸活動 and 支持運輸活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8632-8632	子屬性海運貨物處理 and 支持水上運輸活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 8639-8639	子屬性運輸航運服務 and 支持水上運輸活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 8646-8646	子屬性水運的其他支持活動 and 支持水上運輸活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 8625-8625	子屬性港口和港口業務 and 支持水上運輸活動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56215-56215
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56214-56214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56213-56213