TreeView Knowledge Base Browser

appearance as argument number 1

(documentation patientMedical EnglishLanguage "The relation of receiving medical care from a recognized medical practitioner. (patientMedical ?PATIENT ?DOCTOR) means that ?PATIENT is the patient of ?DOCTOR. Note that argument type restriction on the second argument is CognitiveAgent to allow for cases where someone is the patient of an Organization, viz. a CareOrganization.")	Mid-level-ontology.kif 5663-5668
(domain patientMedical 1 Human)	Mid-level-ontology.kif 5661-5661	patientMedical の数値 1 引数は人［人間］の instance では %n
(domain patientMedical 2 CognitiveAgent)	Mid-level-ontology.kif 5662-5662	patientMedical の数値 2 引数は認識エージェントの instance では %n
(instance patientMedical BinaryPredicate)	Mid-level-ontology.kif 5660-5660	patientMedical は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage patientMedical "%2 %n 是 %1 的 patient 医疗")	domainEnglishFormat.kif 1919-1919
(format ChineseTraditionalLanguage patientMedical "%2 %n 是 %1 的 patient 醫療")	domainEnglishFormat.kif 1918-1918
(format EnglishLanguage patientMedical "%2 is %n a patient medical of %1")	domainEnglishFormat.kif 1917-1917
(termFormat ChineseLanguage patientMedical "病人医疗")	domainEnglishFormat.kif 44804-44804
(termFormat ChineseTraditionalLanguage patientMedical "病人醫療")	domainEnglishFormat.kif 44803-44803
(termFormat EnglishLanguage patientMedical "patient medical")	domainEnglishFormat.kif 44802-44802

antecedent

(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))

Mid-level-ontology.kif 5670-5678

patientMedical 人［人間］ and 認識エージェント
工程人［人間］は工程の patient では %n 認識エージェントは工程の agent では %n 工程は診断プロセスの instance では %n 工程は治療経過の instance では %n

consequent

(=>
    (medicine ?MC ?D)
    (exists (?DOC)
        (and
            (instance ?DOC MedicalDoctor)
            (believes ?DOC
                (exists (?T ?H ?M)
                    (and
                        (instance ?M ?MC)
                        (instance ?T TherapeuticProcess)
                        (instance ?H Human)
                        (patientMedical ?H ?DOC)
                        (resource ?T ?M)
                        (benefits ?T ?H)))))))

Mid-level-ontology.kif 9679-9692

medicine Medicine and 病気または症候群
病気または症候群OC 病気または症候群OC は MedicalDoctor の instance では %n 病気または症候群OC はエンティティーエンティティー and エンティティーエンティティーは Medicine の instance では %n エンティティーは治療経過の instance では %n エンティティーは人［人間］の instance では %n patientMedical エンティティー and 病気または症候群OC エンティティーはエンティティーの resource では %n エンティティーはエンティティーの受益者では %n を believes %n{ない}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: