| 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 8788-8790 | |
| (partition CareOrganization HospitalOrganization MedicalClinic) | Mid-level-ontology.kif 8787-8787 | Care organization is exhaustively partitioned into hospital organization and medical clinic |
| (subclass CareOrganization Organization) | Mid-level-ontology.kif 8786-8786 | Care organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| (subclass HospitalOrganization CareOrganization) | Mid-level-ontology.kif 8804-8804 | Hospital organization is a subclass of care organization |
| (subclass MedicalClinic CareOrganization) | Mid-level-ontology.kif 8812-8812 | Medical clinic is a subclass of care organization |
| (termFormat ChineseLanguage CareOrganization "护理组织") | domainEnglishFormat.kif 13232-13232 | Medical clinic is a subclass of care organization |
| (termFormat ChineseTraditionalLanguage CareOrganization "護理組織") | domainEnglishFormat.kif 13231-13231 | Medical clinic is a subclass of care organization |
| (termFormat EnglishLanguage CareOrganization "care organization") | domainEnglishFormat.kif 13230-13230 | Medical clinic is a subclass of care organization |
| appearance as argument number 3 |
|
|
| (domain medicalPatient 2 CareOrganization) | Mid-level-ontology.kif 8796-8796 | 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 8798-8802 |
|
|
|
|