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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Breathing葡萄球菌腸毒素bbiochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1441-1441 Ingesting葡萄球菌腸毒素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 and 公克測量 0.0004 and 公克per葡萄球菌腸毒素beffective 劑量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1440-1440 測量 1.0 and 公克測量 0.02 and 公克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 and 危及生命的特工
No TPTP formula. May not be expressible in strict first order. WMD.kif 1437-1437 子類 葡萄球菌腸毒素b and 毒素

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