Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiagnosticProcess
DiagnosticProcess

VerbNet: characterize-29.2|diagnose,


appearance as argument number 1
-------------------------


(documentation DiagnosticProcess EnglishLanguage "A Process that is carried out for the purpose of determining the nature of a DiseaseOrSyndrome.") Merge.kif 17257-17258
(documentation DiagnosticProcess EnglishLanguage "这是为了决定一种 DiseaseOrSyndrome 的性质 而执行的 Process。") Merge.kif 17259-17260
(subclass DiagnosticProcess Investigating) Merge.kif 17256-17256

appearance as argument number 2
-------------------------


(subclass Biopsy DiagnosticProcess) Mid-level-ontology.kif 21849-21849
(termFormat ChineseLanguage DiagnosticProcess "诊断过程") chinese_format.kif 1192-1192
(termFormat EnglishLanguage DiagnosticProcess "diagnostic process") english_format.kif 2285-2285
(termFormat JapaneseLanguage DiagnosticProcess "診断プロセス") english_format.kif 2286-2286

antecedent
-------------------------


(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC
            (knows ?AGENT
                (causes ?CAUSE ?PROC)) ?AGENT)))
Merge.kif 17262-17267

consequent
-------------------------


(=>
    (attribute ?DOCTOR MedicalDoctor)
    (exists (?PROCESS1 ?PROCESS2)
        (and
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (capability ?PROCESS1 agent ?DOCTOR)
            (capability ?PROCESS2 agent ?DOCTOR))))
Mid-level-ontology.kif 18716-18723
(=>
    (attribute ?P Dentist)
    (exists (?D ?T)
        (and
            (instance ?D DiagnosticProcess)
            (agent ?D ?P)
            (instance ?T Tooth)
            (patient ?D ?T))))
Mid-level-ontology.kif 16519-16526
(=>
    (instance ?MS MedicalService)
    (exists (?AGENT ?HUMAN ?PROC)
        (and
            (agent ?MS ?AGENT)
            (employs ?AGENT ?HUMAN)
            (attribute ?HUMAN MedicalDoctor)
            (serviceProvider ?MS ?HUMAN)
            (or
                (instance ?PROC TherapeuticProcess)
                (instance ?PROC DiagnosticProcess))
            (subProcess ?PROC ?MS))))
Hotel.kif 2222-2233
(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))
Mid-level-ontology.kif 5917-5925


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners