TreeView Knowledge Base Browser - RealEstatePropertyManagers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9655-9657
No TPTP formula. May not be expressible in strict first order.	naics.kif 9653-9653	房地产物业经理是与房地产有关的活动的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9666-9666	非住宅物业经理是房地产物业经理的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9659-9659	住宅物业经理是房地产物业经理的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48896-48896
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48895-48895
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48894-48894