TreeView Knowledge Base Browser - RealEstateAndRentalAndLeasing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9596-9598
No TPTP formula. May not be expressible in strict first order.	naics.kif 9594-9594	房地产和租赁和出租是行业属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9849-9849	除版权作品外的非金融无形资产的出租人是房地产和租赁和出租的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9600-9600	RealEstateIndustry 是房地产和租赁和出租的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9688-9688	租赁和出租服务是房地产和租赁和出租的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48878-48878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48877-48877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48876-48876