TreeView Knowledge Base Browser - RentalAndLeasingServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9690-9692
No TPTP formula. May not be expressible in strict first order.	naics.kif 9688-9688	子屬性租賃和出租服務 and 房地產和租賃和出租

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9694-9694	子屬性汽車設備租賃和租賃 and 租賃和出租服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 9799-9799	子屬性商業和工業機械設備租賃和租賃 and 租賃和出租服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 9736-9736	子屬性消費品租賃 and 租賃和出租服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 9793-9793	子屬性一般租賃中心 and 租賃和出租服務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49484-49484
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49483-49483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49482-49482