TreeView Knowledge Base Browser - heartRate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - heartRate

heartRate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10338-10341
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10335-10335	O argumento numero 1 de heartRate e' uma instancia de Heart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10336-10336	O argumento numero 2 de heartRate e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10337-10337	O argumento numero 3 de heartRate e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10334-10334	heartRate e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10342-10343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65849-65849

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	Processo e' uma instancia de CheckingVitals Processo e' um agente de Agente Cognitivo Objeto e' um patient de Processo Heart e' uma instancia de Heart Heart e' uma &parte de Objeto Lung e' uma instancia de Lung Lung e' uma &parte de Objeto systolicBloodPressure Objeto and Entidade diastolicBloodPressure Objeto and Entidade a medida de Objeto e' Entidade FahrenheitDegree(s) vale durante tempo de existencia de Processo heartRate Heart, tempo de existencia de Processo and Numero Inteiro breathingRate Lung, tempo de existencia de Processo and Numero Inteiro Agente Cognitivo sabe systolicBloodPressure Objeto and Entidade diastolicBloodPressure Objeto and Entidade a medida de Objeto e' Entidade FahrenheitDegree(s) vale durante tempo de existencia de Processo heartRate Heart, tempo de existencia de Processo and Numero Inteiro breathingRate Lung, tempo de existencia de Processo and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2847-2855	Processo e' uma instancia de Bradycardia AutonomousAgent experimenta Processo Heart e' uma instancia de Heart Heart e' uma &parte de AutonomousAgent Intervalo Temporal e' uma instancia de Minuto heartRate Heart, Intervalo Temporal and Numero Inteiro 50 e' maior que Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2819-2827	Processo e' uma instancia de Tachycardia AutonomousAgent experimenta Processo Heart e' uma instancia de Heart Heart e' uma &parte de AutonomousAgent Intervalo Temporal e' uma instancia de Minuto heartRate Heart, Intervalo Temporal and Numero Inteiro Numero Inteiro e' maior que 100
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10345-10357	heartRate Heart, Intervalo Temporal and Numero Inteiro Colecao Processo Colecao e' uma instancia de Colecao memberType Colecao and HeartBeat memberCount Colecao and Numero Inteiro Processo e' membro de Colecao Heart e' um patient de Processo tempo de existencia de Processo acontece durante Intervalo Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	Processo e' uma instancia de CheckingVitals Processo e' um agente de Agente Cognitivo Objeto e' um patient de Processo Heart e' uma instancia de Heart Heart e' uma &parte de Objeto Lung e' uma instancia de Lung Lung e' uma &parte de Objeto systolicBloodPressure Objeto and Entidade diastolicBloodPressure Objeto and Entidade a medida de Objeto e' Entidade FahrenheitDegree(s) vale durante tempo de existencia de Processo heartRate Heart, tempo de existencia de Processo and Numero Inteiro breathingRate Lung, tempo de existencia de Processo and Numero Inteiro Agente Cognitivo sabe systolicBloodPressure Objeto and Entidade diastolicBloodPressure Objeto and Entidade a medida de Objeto e' Entidade FahrenheitDegree(s) vale durante tempo de existencia de Processo heartRate Heart, tempo de existencia de Processo and Numero Inteiro breathingRate Lung, tempo de existencia de Processo and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	restingHeartRate Mamifero and Numero Inteiro MamiferoEART e' uma instancia de Heart MamiferoEART e' uma &parte de Mamifero Intervalo Temporal Numero InteiroEC Numero InteiroEC e' uma instancia de Recreacao ou Exercicio Numero InteiroEC e' um agente de Mamifero Intervalo Temporal acontece durante tempo de existencia de Numero InteiroEC Intervalo Temporal e' uma instancia de Minuto heartRate Mamifero, Intervalo Temporal and Numero Inteiro

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