|
|
   CareOrganization
|
|
|
| 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 7625-7627 | |
| (partition CareOrganization HospitalOrganization MedicalClinic) | Mid-level-ontology.kif 7624-7624 | CareOrganization は HospitalOrganization + MedicalClinic に exhaustively partitioned %n |
| (subclass CareOrganization Organization) | Mid-level-ontology.kif 7623-7623 | CareOrganization は 組織 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass HospitalOrganization CareOrganization) | Mid-level-ontology.kif 7641-7641 | HospitalOrganization は CareOrganization の subclass では %n |
| (subclass MedicalClinic CareOrganization) | Mid-level-ontology.kif 7649-7649 | MedicalClinic は CareOrganization の subclass では %n |
| (termFormat ChineseLanguage CareOrganization "护理组织") | domainEnglishFormat.kif 13224-13224 | |
| (termFormat ChineseTraditionalLanguage CareOrganization "護理組織") | domainEnglishFormat.kif 13223-13223 | |
| (termFormat EnglishLanguage CareOrganization "care organization") | domainEnglishFormat.kif 13222-13222 |
| appearance as argument number 3 |
|
|
| (domain medicalPatient 2 CareOrganization) | Mid-level-ontology.kif 7633-7633 | medicalPatient の数値 2 引数は CareOrganization の instance では %n |
| antecedent |
|
|
| (=> (instance ?ORG CareOrganization) (hasPurpose ?ORG (exists (?PATIENT) (medicalPatient ?PATIENT ?ORG)))) |
Mid-level-ontology.kif 7635-7639 |
|
|
|
|