TreeView Knowledge Base Browser - OtherConsumerGoodsRental

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9765-9767
No TPTP formula. May not be expressible in strict first order.	naics.kif 9763-9763	子屬性其他消費品租賃 and 消費品租賃

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9785-9785	子屬性所有其他消費品租賃 and 其他消費品租賃
No TPTP formula. May not be expressible in strict first order.	naics.kif 9769-9769	子屬性家庭健康設備租賃 and 其他消費品租賃
No TPTP formula. May not be expressible in strict first order.	naics.kif 9777-9777	子屬性休閒用品租賃 and 其他消費品租賃
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42888-42888
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42887-42887
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42886-42886