TreeView Knowledge Base Browser - GeneralFreightTrucking

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8279-8281
No TPTP formula. May not be expressible in strict first order.	naics.kif 8277-8277	子屬性一般貨運卡車 and 卡車運輸

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8283-8283	子屬性一般貨運卡車當地 and 一般貨運卡車
No TPTP formula. May not be expressible in strict first order.	naics.kif 8290-8290	子屬性一般貨運長途運輸 and 一般貨運卡車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25668-25668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25667-25667
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25666-25666