TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CareOrganization Organization)	Mid-level-ontology.kif 8945-8945	Care organization is a subclass of organization
(partition CareOrganization HospitalOrganization MedicalClinic)	Mid-level-ontology.kif 8946-8946	Care organization is exhaustively partitioned into hospital organization and clinic
(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 8947-8949	Care organization is exhaustively partitioned into hospital organization and clinic

appearance as argument number 2

(subclass HospitalOrganization CareOrganization)	Mid-level-ontology.kif 8963-8963	Hospital organization is a subclass of care organization
(subclass MedicalClinic CareOrganization)	Mid-level-ontology.kif 8971-8971	Clinic is a subclass of care organization
(termFormat EnglishLanguage CareOrganization "care organization")	domainEnglishFormat.kif 13230-13230	Clinic is a subclass of care organization
(termFormat ChineseTraditionalLanguage CareOrganization "護理組織")	domainEnglishFormat.kif 13231-13231	Clinic is a subclass of care organization
(termFormat ChineseLanguage CareOrganization "护理组织")	domainEnglishFormat.kif 13232-13232	Clinic is a subclass of care organization

appearance as argument number 3

(domain medicalPatient 2 CareOrganization)

antecedent

(=>
    (instance ?ORG CareOrganization)
    (hasPurpose ?ORG
        (exists (?PATIENT)
            (medicalPatient ?PATIENT ?ORG))))

If X is an instance of care organization, then X has the purpose there exists Y such that X is a medical patient of Y

consequent

(=>
    (instance ?MC MedicalClinic)
    (exists (?D)
        (and
            (instance ?MC CareOrganization)
            (attribute ?D MedicalDoctor)
            (employs ?MC ?D))))

If X is an instance of clinic, then there exists Y such that X is an instance of care organization, medical doctor is an attribute of Y, and X employs Y