heartRate - Sigma Knowledge base Browser

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 10365-10368
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10362-10362	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 10363-10363	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 10364-10364	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 10361-10361	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 10369-10370
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65851-65851

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 10372-10384	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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