TreeView Knowledge Base Browser - ActivitiesRelatedToRealEstate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9649-9651
No TPTP formula. May not be expressible in strict first order.	naics.kif 9647-9647	子屬性與房地產有關的活動 and RealEstateIndustry

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9673-9673	子屬性房地產估價師辦公室 and 與房地產有關的活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9680-9680	子屬性與房地產有關的其他活動 and 與房地產有關的活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9653-9653	子屬性房地產物業經理 and 與房地產有關的活動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5376-5376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5375-5375
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5374-5374