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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DiagnosticProcess
DiagnosticProcess(診断プロセス)

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 13094-13095
(subclass DiagnosticProcess Investigating) Merge.kif 13093-13093 診断プロセス捜査subclass では

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


(subclass Biopsy DiagnosticProcess) Mid-level-ontology.kif 25732-25732 Biopsy診断プロセスsubclass では
(subclass CheckingVitals DiagnosticProcess) Medicine.kif 6515-6515 CheckingVitals診断プロセスsubclass では
(subclass Electrocardiography DiagnosticProcess) Medicine.kif 3426-3426 Electrocardiography診断プロセスsubclass では
(subclass MeasuringBreathing DiagnosticProcess) Medicine.kif 450-450 MeasuringBreathing診断プロセスsubclass では
(termFormat ChineseLanguage DiagnosticProcess "诊断过程") chinese_format.kif 1192-1192 MeasuringBreathing診断プロセスsubclass では
(termFormat EnglishLanguage DiagnosticProcess "diagnostic process") english_format.kif 1601-1601 MeasuringBreathing診断プロセスsubclass では
(termFormat FrenchLanguage DiagnosticProcess "processus de diagnostique") french_format.kif 870-870 MeasuringBreathing診断プロセスsubclass では
(termFormat Hindi DiagnosticProcess "nidaanakaarii prakriyaa") terms-hindi.txt 403-403 MeasuringBreathing診断プロセスsubclass では
(termFormat ItalianLanguage DiagnosticProcess "ProcessoDiagnostico") terms-it.txt 406-406 MeasuringBreathing診断プロセスsubclass では
(termFormat JapaneseLanguage DiagnosticProcess "診断プロセス") japanese_format.kif 2554-2554 MeasuringBreathing診断プロセスsubclass では
(termFormat PortugueseLanguage DiagnosticProcess "Processo de Diagnostico") portuguese_format.kif 822-822 MeasuringBreathing診断プロセスsubclass では
(termFormat cb DiagnosticProcess "paghimadlay") terms-cb.txt 408-408 MeasuringBreathing診断プロセスsubclass では
(termFormat cz DiagnosticProcess "diagnostic process") terms-cz.txt 442-442 MeasuringBreathing診断プロセスsubclass では
(termFormat de DiagnosticProcess "Diagnoseprozess") terms-de.txt 701-701 MeasuringBreathing診断プロセスsubclass では
(termFormat ro DiagnosticProcess "proces de diagnosticare") relations-ro.kif 891-891 MeasuringBreathing診断プロセスsubclass では
(termFormat tg DiagnosticProcess "paraan ng pagsusuri") terms-tg.txt 407-407 MeasuringBreathing診断プロセスsubclass では

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


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

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


(=>
    (and
        (instance ?I HealthInsuranceCompany)
        (customer ?I ?C))
    (hasPurposeForAgent ?I
        (exists (?D ?P)
            (and
                (or
                    (instance ?D DiagnosticProcess)
                    (instance ?D TherapeuticProcess))
                (experiencer ?D ?C)
                (instance ?P Payment)
                (agent ?P ?I)
                (refers ?P ?D))) ?C))
Mid-level-ontology.kif 8320-8333
(=>
    (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 22653-22660
(=>
    (attribute ?H Pulmonologist)
    (exists (?P1 ?P2 ?PAT ?L)
        (and
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (patient ?P1 ?PAT)
            (patient ?P2 ?PAT)
            (instance ?L Lung)
            (part ?L ?PAT)
            (located ?P1 Lung)
            (located ?P2 Lung))))
Medicine.kif 4488-4499
(=>
    (attribute ?P Dentist)
    (exists (?D ?T)
        (and
            (instance ?D DiagnosticProcess)
            (agent ?D ?P)
            (instance ?T Tooth)
            (patient ?D ?T))))
Mid-level-ontology.kif 20450-20457
(=>
    (instance ?MD MedicalDevice)
    (hasPurpose ?MD
        (exists (?TP ?DP)
            (and
                (instance ?TP TherapeuticProcess)
                (instance ?DP DiagnosticProcess)
                (or
                    (instrument ?TP ?MD)
                    (instrument ?DP ?MD))))))
Medicine.kif 657-666
(=>
    (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 2292-2303
(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))
Mid-level-ontology.kif 6613-6621


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