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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiagnosticProcess
DiagnosticProcessA-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, ProcessoDiagnostico, Processo_de_Diagnostico, 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, cholangiography, chorionic_villus_biopsy, chorionic_villus_sampling, complement_fixation_test, computed_axial_tomography, computed_tomography...

appearance as argument number 1
-------------------------


s__documentation(s__DiagnosticProcess,s__EnglishLanguage,'A Process that is carried out for the purpose of determining the nature of a DiseaseOrSyndrome.')

Merge.kif 12828-12829
s__documentation(s__DiagnosticProcess,s__EnglishLanguage,'这是为了决定一种 DiseaseOrSyndrome 的性质 而执行的 Process。')

Merge.kif 12830-12831
s__instance(s__Investigating,s__SetOrClass)

Merge.kif 12827-12827

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


s__subclass(s__Biopsy,s__DiagnosticProcess)

Mid-level-ontology.kif 21817-21817
s__termFormat(s__ChineseLanguage,s__DiagnosticProcess,'诊断过程')

chinese_format.kif 1192-1192
s__termFormat(s__EnglishLanguage,s__DiagnosticProcess,'diagnostic process')

english_format.kif 879-879
s__termFormat(s__FrenchLanguage,s__DiagnosticProcess,'processus de diagnostique')

french_format.kif 870-870
s__termFormat(s__Hindi,s__DiagnosticProcess,'nidaanakaarii prakriyaa')

terms-hindi.txt 403-403
s__termFormat(s__ItalianLanguage,s__DiagnosticProcess,'ProcessoDiagnostico')

terms-it.txt 404-404
s__termFormat(s__PortugueseLanguage,s__DiagnosticProcess,'Processo de Diagnostico')

portuguese_format.kif 822-822
s__termFormat(s__cb__m,s__DiagnosticProcess,'paghimadlay')

terms-cb.txt 408-408
s__termFormat(s__cz__m,s__DiagnosticProcess,'diagnostic process')

terms-cz.txt 442-442
s__termFormat(s__tg__m,s__DiagnosticProcess,'paraan ng pagsusuri')

terms-tg.txt 407-407

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12833-12838

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


( ! [V__DOCTOR] :
   (s__attribute(V__DOCTOR,s__MedicalDoctor) =>
     (? [V__PROCESS1,V__PROCESS2] :
       (s__subclass(V__PROCESS1,s__DiagnosticProcess) &
         s__subclass(V__PROCESS2,s__TherapeuticProcess) &
         s__capability(V__PROCESS1,s__agent__m,V__DOCTOR)
       &
       s__capability(V__PROCESS2,s__agent__m,V__DOCTOR))))
)

Mid-level-ontology.kif 18657-18664
( ! [V__P] :
   (s__attribute(V__P,s__Dentist) =>
     (? [V__D,V__T] :
       (s__instance(V__D,s__DiagnosticProcess) &
         s__agent(V__D,V__P)
       &
       s__instance(V__T,s__Tooth) &
       s__patient(V__D,V__T))))
)

Mid-level-ontology.kif 16488-16495
( ! [V__MS] :
   (s__instance(V__MS,s__MedicalService) =>
     (? [V__AGENT,V__HUMAN,V__PROC] :
       (s__agent(V__MS,V__AGENT)
       &
       s__employs(V__AGENT,V__HUMAN)
     &
     s__attribute(V__HUMAN,s__MedicalDoctor) &
     s__serviceProvider(V__MS,V__HUMAN)
   &
   (s__instance(V__PROC,s__TherapeuticProcess) |
     s__instance(V__PROC,s__DiagnosticProcess))
   &
   s__subProcess(V__PROC,V__MS))))
)

Hotel.kif 2222-2233
( ! [V__PATIENT,V__DOCTOR] :
   (s__patientMedical(V__PATIENT,V__DOCTOR)
   =>
   (? [V__PROCESS] :
     (s__patient(V__PROCESS,V__PATIENT)
     &
     s__agent(V__PROCESS,V__DOCTOR)
   &
   (s__instance(V__PROCESS,s__DiagnosticProcess) |
     s__instance(V__PROCESS,s__TherapeuticProcess)))))
)

Mid-level-ontology.kif 5916-5924


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners