TreeView Knowledge Base Browser - Electrocardiography

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Electrocardiography

Sigma KEE - Electrocardiography

Electrocardiography(electrocardiography)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3426-3444
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3425-3425	Electrocardiography is a subclass of diagnostic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3446-3446
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3445-3445
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3447-3447

antecedent

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

Medicine.kif 3449-3460

If a process is an instance of electrocardiography and an entity is a patient of the process and an agent is an agent of the process and medical doctor is an attribute of the agent,
then the process has the purpose the agent knows there exists another entity such that impaired body part fn heart is an attribute of the entity is the other entity

consequent

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

Medicine.kif 3467-3472

If an entity is an instance of electrocardiogram,
then there exists the entityP such that the entityP is an instance of electrocardiography and the entity is a result of the entityP

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