Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10496-10506
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10478-10488

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6505-6529


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