TreeView Knowledge Base Browser

appearance as argument number 1

(documentation medicalPatient EnglishLanguage "A relation between a Human and a CareOrganization that treats the patient.")	Mid-level-ontology.kif 7658-7659
(domain medicalPatient 1 Human)	Mid-level-ontology.kif 7660-7660	Die Zahl 1 Argument von medicalPatient ist ein fall von Human %n{nicht}
(domain medicalPatient 2 CareOrganization)	Mid-level-ontology.kif 7661-7661	Die Zahl 2 Argument von medicalPatient ist ein fall von CareOrganization %n{nicht}
(instance medicalPatient BinaryPredicate)	Mid-level-ontology.kif 7657-7657	medicalPatient ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage medicalPatient "%2 %n 是 %1 的 medical 病患")	domainEnglishFormat.kif 1667-1667
(format ChineseTraditionalLanguage medicalPatient "%2 %n 是 %1 的 medical 病患")	domainEnglishFormat.kif 1666-1666
(format EnglishLanguage medicalPatient "%2 is %n a medical patient of %1")	domainEnglishFormat.kif 1665-1665
(termFormat ChineseLanguage medicalPatient "医疗病人")	domainEnglishFormat.kif 36845-36845
(termFormat ChineseTraditionalLanguage medicalPatient "醫療病人")	domainEnglishFormat.kif 36844-36844
(termFormat EnglishLanguage medicalPatient "medical patient")	domainEnglishFormat.kif 36843-36843

consequent

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

Mid-level-ontology.kif 7663-7667