TreeView Knowledge Base Browser - SpecializedFreightTrucking

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8313-8315
No TPTP formula. May not be expressible in strict first order.	naics.kif 8311-8311	子屬性專業貨運卡車 and 卡車運輸

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8324-8324	子屬性專用貨物除了二手貨運卡車當地 and 專業貨運卡車
No TPTP formula. May not be expressible in strict first order.	naics.kif 8331-8331	子屬性專用貨物除了二手貨車長途運輸 and 專業貨運卡車
No TPTP formula. May not be expressible in strict first order.	naics.kif 8317-8317	子屬性用於家庭和辦公用品的移動 and 專業貨運卡車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54522-54522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54521-54521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54520-54520