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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StaphylococcalEnterotoxinB

Sigma KEE - StaphylococcalEnterotoxinB
StaphylococcalEnterotoxinB(葡萄球菌肠毒素b)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1442-1442 呼吸葡萄球菌肠毒素bbiochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1441-1441 消化葡萄球菌肠毒素bbiochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1443-1445
No TPTP formula. May not be expressible in strict first order. WMD.kif 1439-1439 1.0 公克 的一千倍 是 0.0004 公克 的百万分之一 的 per葡萄球菌肠毒素beffective 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1440-1440 1.0 公克 的一千倍 是 0.02 公克 的百万分之一 的 per葡萄球菌肠毒素blethal 剂量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31654-31654 roomTempState 葡萄球菌肠毒素b and 固体
No TPTP formula. May not be expressible in strict first order. WMD.kif 1438-1438 葡萄球菌肠毒素b危及生命的特工subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1437-1437 葡萄球菌肠毒素b毒素subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1430-1430 葡萄球菌肠毒素b金黄色葡萄球菌secretes 毒素
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55032-55032
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55031-55031
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55030-55030


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