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	支持公路运输活动是支持运输活动的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8660-8660	机动车牵引是支持公路运输活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8667-8667	其他公路运输支持活动是支持公路运输活动的 subAttribute
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