TreeView Knowledge Base Browser - restingHeartRate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

restingHeartRate

Sigma KEE - restingHeartRate

restingHeartRate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 116-117
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 114-114	Le nombre 1 argument de restingHeartRate est une instance de mammif�re
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 115-115	Le nombre 2 argument de restingHeartRate est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 113-113	restingHeartRate est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 118-118
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 120-120
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 119-119

antecedent

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

Medicine.kif 122-136

restingHeartRate mammif�re and nombre entier mammif�reEART est une instance de Heart mammif�reEART est une partie de mammif�re
interval temporel nombre entierEC nombre entierEC est une instance de r�cr�ation ou exercice nombre entierEC est un agent de mammif�re interval temporel prend place pendant temps d'existence de nombre entierEC interval temporel est une instance de minute heartRate mammif�re, interval temporel and nombre entier

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