| 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 7844-7846 | |
| (partition CareOrganization HospitalOrganization MedicalClinic) | Mid-level-ontology.kif 7843-7843 | Care organization is exhaustively partitioned into hospital organization and medical clinic |
| (subclass CareOrganization Organization) | Mid-level-ontology.kif 7842-7842 | Care organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| (subclass HospitalOrganization CareOrganization) | Mid-level-ontology.kif 7860-7860 | Hospital organization is a subclass of care organization |
| (subclass MedicalClinic CareOrganization) | Mid-level-ontology.kif 7868-7868 | Medical clinic is a subclass of care organization |
| (termFormat ChineseLanguage CareOrganization "护理组织") | domainEnglishFormat.kif 13240-13240 | Medical clinic is a subclass of care organization |
| (termFormat ChineseTraditionalLanguage CareOrganization "護理組織") | domainEnglishFormat.kif 13239-13239 | Medical clinic is a subclass of care organization |
| (termFormat EnglishLanguage CareOrganization "care organization") | domainEnglishFormat.kif 13238-13238 | Medical clinic is a subclass of care organization |
| appearance as argument number 3 |
|
|
| (domain medicalPatient 2 CareOrganization) | Mid-level-ontology.kif 7852-7852 | 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 7854-7858 |
|
|
|
|