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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StaphylococcalEnterotoxinB

Sigma KEE - StaphylococcalEnterotoxinB
StaphylococcalEnterotoxinB

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1442-1442 biochemicalAgentDelivery StaphylococcalEnterotoxinB and Respirar
No TPTP formula. May not be expressible in strict first order. WMD.kif 1441-1441 biochemicalAgentDelivery StaphylococcalEnterotoxinB and Ingerir
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 effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1440-1440 lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31654-31654 roomTempState StaphylococcalEnterotoxinB and Solid
No TPTP formula. May not be expressible in strict first order. WMD.kif 1438-1438 StaphylococcalEnterotoxinB e' uma sub-classe de LifeThreateningAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1437-1437 StaphylococcalEnterotoxinB e' uma sub-classe de Toxin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1430-1430 secretesToxin StaphylococcusAureus and StaphylococcalEnterotoxinB
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