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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - DiagnosticProcess
DiagnosticProcess(diagnostic process)A-scan_ultrasonography, Apgar_score, B-scan_ultrasonography, BOLD_FMRI, CAT, CT, Dick_test, Friedman_test, IVP, MRI, Mantoux_test, PET, PSA_blood_test, Pap_test, Papanicolaou_test, RAIU, Schick_test, Snellen_test, Wasserman_reaction, Wassermann, Wassermann_test, Widal's_test, Widal_test, X-radiation, X-ray_photography, X-raying, agglutination_test, angiocardiogram, angiogram, angiography, arteriography, arthrography, auscultate, auscultation, auscultatory, autopsy, autoradiographic, bio-assay, bioassay, blood-oxygenation_level_dependent_functional_magnetic_resonance_imaging, blood_test, cardiographic, celioscopy, cholangiography, chorionic_villus_biopsy, chorionic_villus_sampling, colonoscopy, complement_fixation_test, computed_axial_tomography, computed_tomography...

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 12348-12349
(subclass DiagnosticProcess Investigating) Merge.kif 12347-12347 Diagnostic process is a subclass of investigating

appearance as argument number 2

(subclass Biopsy DiagnosticProcess) Mid-level-ontology.kif 23353-23353 Biopsy is a subclass of diagnostic process
(termFormat ChineseLanguage DiagnosticProcess "诊断过程") chinese_format.kif 1192-1192
(termFormat EnglishLanguage DiagnosticProcess "diagnostic process") english_format.kif 1601-1601


        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC
            (knows ?AGENT
                (causes ?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12351-12356


        (instance ?I HealthInsuranceCompany)
        (customer ?I ?C))
    (hasPurposeForAgent ?I
        (exists (?D ?P)
                    (instance ?D DiagnosticProcess)
                    (instance ?D TherapeuticProcess))
                (experiencer ?D ?C)
                (instance ?P Payment)
                (agent ?P ?I)
                (refers ?P ?D))) ?C))
Mid-level-ontology.kif 6795-6808
    (attribute ?DOCTOR MedicalDoctor)
    (exists (?PROCESS1 ?PROCESS2)
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (capability ?PROCESS1 agent ?DOCTOR)
            (capability ?PROCESS2 agent ?DOCTOR))))
Mid-level-ontology.kif 20208-20215
    (attribute ?P Dentist)
    (exists (?D ?T)
            (instance ?D DiagnosticProcess)
            (agent ?D ?P)
            (instance ?T Tooth)
            (patient ?D ?T))))
Mid-level-ontology.kif 18085-18092
    (instance ?MS MedicalService)
    (exists (?AGENT ?HUMAN ?PROC)
            (agent ?MS ?AGENT)
            (employs ?AGENT ?HUMAN)
            (attribute ?HUMAN MedicalDoctor)
            (serviceProvider ?MS ?HUMAN)
                (instance ?PROC TherapeuticProcess)
                (instance ?PROC DiagnosticProcess))
            (subProcess ?PROC ?MS))))
Hotel.kif 2254-2265
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))
Mid-level-ontology.kif 5337-5345

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