| CareOrganization(care organization) | | home, nursing_home, rest_home |
| appearance as argument number 1 |
|
|
| (documentation CareOrganization EnglishLanguage "Any Organization whose purpose is to provide medical care for for Humans who reside there, either permanently or temporarily.") | Mid-level-ontology.kif 8812-8814 | |
| (partition CareOrganization HospitalOrganization MedicalClinic) | Mid-level-ontology.kif 8811-8811 | Care organization is exhaustively partitioned into hospital organization and medical clinic |
| (subclass CareOrganization Organization) | Mid-level-ontology.kif 8810-8810 | Care organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| (subclass HospitalOrganization CareOrganization) | Mid-level-ontology.kif 8828-8828 | Hospital organization is a subclass of care organization |
| (subclass MedicalClinic CareOrganization) | Mid-level-ontology.kif 8836-8836 | Medical clinic is a subclass of care organization |
| (termFormat ChineseLanguage CareOrganization "护理组织") | domainEnglishFormat.kif 13239-13239 | Medical clinic is a subclass of care organization |
| (termFormat ChineseTraditionalLanguage CareOrganization "護理組織") | domainEnglishFormat.kif 13238-13238 | Medical clinic is a subclass of care organization |
| (termFormat EnglishLanguage CareOrganization "care organization") | domainEnglishFormat.kif 13237-13237 | Medical clinic is a subclass of care organization |
| appearance as argument number 3 |
|
|
| (domain medicalPatient 2 CareOrganization) | Mid-level-ontology.kif 8820-8820 | The number 2 argument of medical patient is an instance of care organization |
| antecedent |
|
|
| (=> (instance ?ORG CareOrganization) (hasPurpose ?ORG (exists (?PATIENT) (medicalPatient ?PATIENT ?ORG)))) |
Mid-level-ontology.kif 8822-8826 |
|
|
|
|