biochemicalAgentSyndrome

-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1431-1431 Fever is a biochemical agent syndrome of staphylococcus aureus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1751-1751 Necrotizing faciitis is a biochemical agent syndrome of streptococcus a
No TPTP formula. May not be expressible in strict first order. WMD.kif 1750-1750 Scarlet fever is a biochemical agent syndrome of streptococcus a
No TPTP formula. May not be expressible in strict first order. WMD.kif 1749-1749 Strep throat is a biochemical agent syndrome of streptococcus a
No TPTP formula. May not be expressible in strict first order. WMD.kif 1479-1479 Paralytic shellfish poisoning is a biochemical agent syndrome of tetrodotoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1255-1255 Smallpox is a biochemical agent syndrome of variola major
No TPTP formula. May not be expressible in strict first order. WMD.kif 1260-1260 Smallpox is a biochemical agent syndrome of variola minor
No TPTP formula. May not be expressible in strict first order. WMD.kif 1419-1419 Venezuelan equine encephalitis is a biochemical agent syndrome of venezuelan equine encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1494-1494 Cholera is a biochemical agent syndrome of vibrio cholera
No TPTP formula. May not be expressible in strict first order. WMD.kif 1627-1627 West nile fever is a biochemical agent syndrome of west nile virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1174-1174 Fever is a biochemical agent syndrome of yellow fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1175-1175 Yellow skin is a biochemical agent syndrome of yellow fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 406-406 Plague is a biochemical agent syndrome of yersinia pestis


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