TreeView Knowledge Base Browser - PassengerCarRentalAndLeasing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9702-9704
No TPTP formula. May not be expressible in strict first order.	naics.kif 9700-9700	子屬性乘用車租賃和出租 and 汽車設備租賃和租賃

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9722-9722	子屬性乘用車租賃 and 乘用車租賃和出租
No TPTP formula. May not be expressible in strict first order.	naics.kif 9706-9706	子屬性乘用車租賃 and 乘用車租賃和出租
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44688-44688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44687-44687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44686-44686