TreeView Knowledge Base Browser - HeartPalpitations

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

HeartPalpitations

Sigma KEE - HeartPalpitations

HeartPalpitations(palpitations)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4680-4680	Palpitations is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2048-2056
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2047-2047	Palpitations is a subclass of pathologic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2057-2057
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2058-2058

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2060-2070	If a process is an instance of palpitations and an agent experiences the process and the agentEART is an instance of heart and the agentEART is a part of the agent, then there exists the processER such that the processER is an instance of perception and the agent experiences the processER and the agentEART is a patient of the processER
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2072-2080	If a process is an instance of palpitations and an agent experiences the process, then there exists the agentEART such that the agentEART is an instance of heart and the agentEART is a part of the agent and the process is located at the agentEART

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