diastolicBloodPressure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10442-10446
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10439-10439	O argumento numero 1 de diastolicBloodPressure e' uma instancia de Mamifero
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10440-10440	O argumento numero 2 de diastolicBloodPressure e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10438-10438	diastolicBloodPressure e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10447-10447
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10448-10448

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.	Mid-level-ontology.kif 10468-10478	systolicBloodPressure Entidade and Entidade MmMercury(s) diastolicBloodPressure Entidade and Entidade MmMercury(s) 90.0 e' maior que Entidade 60.0 e' maior que Entidade vale durante Posicao Temporal LowBloodPressure e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10450-10460	systolicBloodPressure Entidade and Entidade MmMercury(s) diastolicBloodPressure Entidade and Entidade MmMercury(s) Entidade e' maior que 140.0 Entidade e' maior que 90.0 vale durante Posicao Temporal HighBloodPressure e' um atributo de Entidade vale durante Posicao 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

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

KB Term:			Term intersection

English Word: