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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BetaBlocker

 Sigma KEE - BetaBlocker
BetaBlocker(beta blocker)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4671-4678
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4669-4669 Beta blocker is a subclass of medicine

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4679-4679 Myocardial infarction is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4680-4680 Palpitations is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4681-4681 Hypertension is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4684-4684 Propranolol is a subclass of beta blocker
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4682-4682


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