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	与房地产有关的活动是 RealEstateIndustry 的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9673-9673	房地产估价师办公室是与房地产有关的活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9680-9680	与房地产有关的其他活动是与房地产有关的活动的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9653-9653	房地产物业经理是与房地产有关的活动的 subAttribute
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