TreeView Knowledge Base Browser - AutomotiveEquipmentRentalAndLeasing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9696-9698
No TPTP formula. May not be expressible in strict first order.	naics.kif 9694-9694	子屬性汽車設備租賃和租賃 and 租賃和出租服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9700-9700	子屬性乘用車租賃和出租 and 汽車設備租賃和租賃
No TPTP formula. May not be expressible in strict first order.	naics.kif 9728-9728	子屬性卡車實用拖車和房車休閒車租賃和承租 and 汽車設備租賃和租賃
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9246-9246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9245-9245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9244-9244