TreeView Knowledge Base Browser - CommunityCareFacilitiesForTheElderly

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11153-11155
No TPTP formula. May not be expressible in strict first order.	naics.kif 11151-11151	老年人社区护理设施是护理和住宿护理设施的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11157-11157	持续护理退休社区是老年人社区护理设施的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11164-11164	老人院是老年人社区护理设施的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16080-16080
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16079-16079
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16078-16078