| 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 8399-8401 | |
| (partition CareOrganization HospitalOrganization MedicalClinic) | Mid-level-ontology.kif 8398-8398 | Care organization is exhaustively partitioned into hospital organization and medical clinic |
| (subclass CareOrganization Organization) | Mid-level-ontology.kif 8397-8397 | Care organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| (subclass HospitalOrganization CareOrganization) | Mid-level-ontology.kif 8415-8415 | Hospital organization is a subclass of care organization |
| (subclass MedicalClinic CareOrganization) | Mid-level-ontology.kif 8423-8423 | 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 8407-8407 | 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 8409-8413 |
|
|
|
|