TreeView Knowledge Base Browser - SupportActivitiesForRoadTransportation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8656-8658
No TPTP formula. May not be expressible in strict first order.	naics.kif 8654-8654	子屬性支持公路運輸活動 and 支持運輸活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8660-8660	子屬性機動車牽引 and 支持公路運輸活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 8667-8667	子屬性其他公路運輸支持活動 and 支持公路運輸活動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56203-56203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56202-56202
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56201-56201