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 消化肉毒杆菌毒素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 公克 的一千倍 是 0.001 公克 的百万分之一 的 per肉毒杆菌毒素lethal 剂量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31570-31570 roomTempState 肉毒杆菌毒素 and 固体
No TPTP formula. May not be expressible in strict first order. WMD.kif 323-323 肉毒杆菌毒素身体物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 324-324 肉毒杆菌毒素危及生命的特工subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 322-322 肉毒杆菌毒素毒素subclass

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 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