TreeView Knowledge Base Browser

appearance as argument number 1

(instance medicalPatient BinaryPredicate)	Mid-level-ontology.kif 8951-8951	medical patient is an instance of binary predicate
(documentation medicalPatient EnglishLanguage "A relation between a Human and a CareOrganization that treats the patient.")	Mid-level-ontology.kif 8952-8953	medical patient is an instance of binary predicate
(domain medicalPatient 1 Human)	Mid-level-ontology.kif 8954-8954	The number 1 argument of medical patient is an instance of human
(domain medicalPatient 2 CareOrganization)	Mid-level-ontology.kif 8955-8955	The number 2 argument of medical patient is an instance of care organization

appearance as argument number 2

(format EnglishLanguage medicalPatient "%2 is %n a medical patient of %1")	domainEnglishFormat.kif 1669-1669
(format ChineseTraditionalLanguage medicalPatient "%2 %n 是 %1 的 medical 病患")	domainEnglishFormat.kif 1670-1670
(format ChineseLanguage medicalPatient "%2 %n 是 %1 的 medical 病患")	domainEnglishFormat.kif 1671-1671
(termFormat EnglishLanguage medicalPatient "medical patient")	domainEnglishFormat.kif 36845-36845
(termFormat ChineseTraditionalLanguage medicalPatient "醫療病人")	domainEnglishFormat.kif 36846-36846
(termFormat ChineseLanguage medicalPatient "医疗病人")	domainEnglishFormat.kif 36847-36847

consequent

(=>
    (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