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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BotulinumToxin

Sigma KEE - BotulinumToxin
BotulinumToxin(botulinum toxin)
Botox, botulin, botulinum_toxin, botulinum_toxin_A, botulinus_toxin, botulismotoxin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 326-326 Ingesting is a biochemical agent delivery of botulinum toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 327-327 Botulism is a biochemical agent syndrome of botulinum toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 328-330
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8393-8393
No TPTP formula. May not be expressible in strict first order. WMD.kif 325-325 The per of 0.001 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of botulinum toxin
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31602-31602 roomTempState botulinum toxin and solid
No TPTP formula. May not be expressible in strict first order. WMD.kif 323-323 Botulinum toxin is a subclass of body substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 324-324 Botulinum toxin is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 322-322 Botulinum toxin is a subclass of toxin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 318-318 Botulinum toxin is a secretes toxin of clostridium botulinum
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11753-11753
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11752-11752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11751-11751


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