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

Formal Language: 



KB Term:  Term intersection
English Word: 

  songArtist

 Sigma KEE - DiagnosticProcess
DiagnosticProcess(processus de diagnostique)

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 12977-12978
(subclass DiagnosticProcess Investigating) Merge.kif 12976-12976 Processus de diagnostique est une sous-classe de enqu�ter

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


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

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


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

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 7158-7171
(=>
    (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 21035-21042
(=>
    (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 4481-4492
(=>
    (attribute ?P Dentist)
    (exists (?D ?T)
        (and
            (instance ?D DiagnosticProcess)
            (agent ?D ?P)
            (instance ?T Tooth)
            (patient ?D ?T))))		 Mid-level-ontology.kif 18878-18885
(=>
    (instance ?MD MedicalDevice)
    (hasPurpose ?MD
        (exists (?TP ?DP)
            (and
                (instance ?TP TherapeuticProcess)
                (instance ?DP DiagnosticProcess)
                (or
                    (instrument ?TP ?MD)
                    (instrument ?DP ?MD))))))		 Medicine.kif 666-675
(=>
    (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 2281-2292
(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))		 Mid-level-ontology.kif 5675-5683


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

Show without tree


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