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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BotulinumToxin
BotulinumToxin(肉毒桿菌毒素)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 326-326 Ingesting肉毒桿菌毒素biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 327-327 肉毒中毒肉毒桿菌毒素biochemical 病毒徵兆
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 測量 1.0 and 公克測量 0.001 and 公克per肉毒桿菌毒素lethal 劑量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31566-31566 roomTempState 肉毒桿菌毒素 and 固體
No TPTP formula. May not be expressible in strict first order. WMD.kif 323-323 子類 肉毒桿菌毒素 and BodySubstance
No TPTP formula. May not be expressible in strict first order. WMD.kif 324-324 子類 肉毒桿菌毒素 and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 322-322 子類 肉毒桿菌毒素 and 毒素

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 318-318 肉毒桿菌毒素肉毒梭菌secretes 毒素
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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