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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StaphylococcalEnterotoxinB
StaphylococcalEnterotoxinB(staphylococcal enterotoxin b)SEB, staphylococcal_enterotoxin_B

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1442-1442 Breathing is a biochemical agent delivery of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. WMD.kif 1441-1441 Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b
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 The per of 0.0004 one millionth of a gram(s) and 1.0 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. WMD.kif 1440-1440 The per of 0.02 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31654-31654 roomTempState staphylococcal enterotoxin b and solid
No TPTP formula. May not be expressible in strict first order. WMD.kif 1438-1438 Staphylococcal enterotoxin b is a subclass of life threatening agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1437-1437 Staphylococcal enterotoxin b is a subclass of toxin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1430-1430 Staphylococcal enterotoxin b is a secretes toxin of staphylococcus aureus
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