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