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, 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12749-12750
No TPTP formula. May not be expressible in strict first order. Merge.kif 12751-12752
No TPTP formula. May not be expressible in strict first order. Merge.kif 12748-12748 Diagnostic process is a subclass of investigating

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21456-21456 Biopsy is a subclass of diagnostic process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1192-1192 "诊断过程" is the printable form of diagnostic process in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 879-879 "diagnostic process" is the printable form of diagnostic process in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 870-870 "processus de diagnostique" is the printable form of diagnostic process in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 403-403 "nidaanakaarii prakriyaa" is the printable form of diagnostic process in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 404-404 "ProcessoDiagnostico" is the printable form of diagnostic process in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 822-822 "Processo de Diagnostico" is the printable form of diagnostic process in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 408-408 "paghimadlay" is the printable form of diagnostic process in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 442-442 "diagnostic process" is the printable form of diagnostic process in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 407-407 "paraan ng pagsusuri" is the printable form of diagnostic process in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12754-12759

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18296-18303
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16187-16194
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2222-2233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5912-5920


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