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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BotulinumToxin

Sigma KEE - BotulinumToxin
BotulinumToxin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 326-326 biochemicalAgentDelivery BotulinumToxin and ing�rer
No TPTP formula. May not be expressible in strict first order. WMD.kif 327-327 biochemicalAgentSyndrome BotulinumToxin and Botulism
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 lethalDose BotulinumToxin and PerFn 0.001 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31570-31570 roomTempState BotulinumToxin and Solid
No TPTP formula. May not be expressible in strict first order. WMD.kif 323-323 BotulinumToxin est une sous-classe de substance corporel
No TPTP formula. May not be expressible in strict first order. WMD.kif 324-324 BotulinumToxin est une sous-classe de LifeThreateningAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 322-322 BotulinumToxin est une sous-classe de Toxin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 318-318 secretesToxin ClostridiumBotulinum and BotulinumToxin
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