TreeView Knowledge Base Browser - CommercialAndIndustrialMachineryAndEquipmentRentalAndLeasing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9801-9805
No TPTP formula. May not be expressible in strict first order.	naics.kif 9799-9799	子屬性商業和工業機械設備租賃和租賃 and 租賃和出租服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9807-9807	子屬性建築運輸採礦和林業機械設備租賃和租賃 and 商業和工業機械設備租賃和租賃
No TPTP formula. May not be expressible in strict first order.	naics.kif 9833-9833	子屬性辦公機械設備租賃和租賃 and 商業和工業機械設備租賃和租賃
No TPTP formula. May not be expressible in strict first order.	naics.kif 9840-9840	子屬性其他商業和工業機械設備租賃和承租 and 商業和工業機械設備租賃和租賃
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15786-15786
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15785-15785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15784-15784