DiagnosticProcess - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DiagnosticProcess ChineseLanguage "这是为了决定一种 DiseaseOrSyndrome 的性质而执行的 Process。")	chinese_format.kif 4068-4068
(documentation DiagnosticProcess EnglishLanguage "A Process that is carried out for the purpose of determining the nature of a DiseaseOrSyndrome.")	Merge.kif 12009-12010
(subclass DiagnosticProcess Investigating)	Merge.kif 12008-12008	subclass DiagnosticProcess and Investigating

appearance as argument number 2

(subclass Biopsy DiagnosticProcess)	Mid-level-ontology.kif 21886-21886	subclass Biopsy and DiagnosticProcess
(termFormat ChineseLanguage DiagnosticProcess "诊断过程")	chinese_format.kif 1192-1192
(termFormat EnglishLanguage DiagnosticProcess "diagnostic process")	english_format.kif 1606-1606

antecedent

(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC
            (knows ?AGENT
                (causes ?CAUSE ?PROC)) ?AGENT)))

Merge.kif 12012-12017

instance Process and DiagnosticProcess agent Process and Agent
entity hasPurposeForAgent Process, knows Agent and causes entity and Process and Agent

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 18742-18749	attribute Object and MedicalDoctor Process Process subclass Process and DiagnosticProcess subclass Process and TherapeuticProcess capability Process, agent and Object capability Process, agent and Object
(=> (attribute ?P Dentist) (exists (?D ?T) (and (instance ?D DiagnosticProcess) (agent ?D ?P) (instance ?T Tooth) (patient ?D ?T))))	Mid-level-ontology.kif 16632-16639	attribute Agent and Dentist Process Entity instance Process and DiagnosticProcess agent Process and Agent instance Entity and Tooth patient Process and Entity
(=> (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 2227-2238	instance ServiceProcess and MedicalService Agent CognitiveAgent and Process agent ServiceProcess and Agent employs Agent and CognitiveAgent attribute CognitiveAgent and MedicalDoctor serviceProvider ServiceProcess and CognitiveAgent instance Process and TherapeuticProcess instance Process and DiagnosticProcess subProcess Process and ServiceProcess
(=> (patientMedical ?PATIENT ?DOCTOR) (exists (?PROCESS) (and (patient ?PROCESS ?PATIENT) (agent ?PROCESS ?DOCTOR) (or (instance ?PROCESS DiagnosticProcess) (instance ?PROCESS TherapeuticProcess)))))	Mid-level-ontology.kif 5922-5930	patientMedical Human and CognitiveAgent Process patient Process and Human agent Process and CognitiveAgent instance Process and DiagnosticProcess instance Process and TherapeuticProcess

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: