Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
diastolicBloodPressure
Sigma KEE - diastolicBloodPressure
diastolicBloodPressure
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10470-10474
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10467-10467
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 10468-10468
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 10466-10466
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 10475-10475
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10476-10476
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 10496-10506
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 10478-10488
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 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