TreeView Knowledge Base Browser - DiagnosticProcess

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

DiagnosticProcess

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4068-4068
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12713-12714
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12712-12712	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 23499-23499	Biopsy is a subclass of diagnostic process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1192-1192
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1601-1601

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12716-12721

If a process is an instance of diagnostic process and an agent is an agent of the process,
then there exists an entity such that the process has the purpose the agent knows the entity causes the process for the agent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6819-6832	If a cognitive agent is an instance of HealthInsuranceCompany and another cognitive agent is a customer of the cognitive agent, then the cognitive agent has the purpose there exist an entity and another entity such that the entity is an instance of diagnostic process or the entity is an instance of therapeutic process and the other cognitive agent experiences the entity and the other entity is an instance of payment and the cognitive agent is an agent of the other entity and the other entity includes a reference to the entity for the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20353-20360	If medical doctor is an attribute of an object, then there exist a kind of process and another kind of process such that a kind of process is a subclass of diagnostic process and another kind of process is a subclass of therapeutic process and the object is capable of doing the kind of process as a agent and the object is capable of doing the other kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18230-18237	If dentist is an attribute of an agent, then there exist a process and an entity such that the process is an instance of diagnostic process and the agent is an agent of the process and the entity is an instance of tooth and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2254-2265	If a service is an instance of medical service, then there exist an agent, a cognitive agent and a process such that the agent is an agent of the service and the agent employs the cognitive agent and medical doctor is an attribute of the cognitive agent and the cognitive agent provides a service during the service and the process is an instance of therapeutic process or the process is an instance of diagnostic process and the process is a subprocess of the service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5360-5368	If a cognitive agent is a patient medical of a human, then there exists a process such that the human is a patient of the process and the cognitive agent is an agent of the process and the process is an instance of diagnostic process or the process is an instance of therapeutic process

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