No TPTP formula. May not be expressible in strict first order.	WMD.kif 1431-1431	biochemicalAgentSyndrome StaphylococcusAureus and Fever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1751-1751	biochemicalAgentSyndrome StreptococcusA and NecrotizingFaciitis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1750-1750	biochemicalAgentSyndrome StreptococcusA and ScarletFever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1749-1749	biochemicalAgentSyndrome StreptococcusA and StrepThroat
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1479-1479	biochemicalAgentSyndrome Tetrodotoxin and ParalyticShellfishPoisoning
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1255-1255	biochemicalAgentSyndrome VariolaMajor and Smallpox
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1260-1260	biochemicalAgentSyndrome VariolaMinor and Smallpox
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1419-1419	biochemicalAgentSyndrome VenezuelanEquineEncephalitisVirus and VenezuelanEquineEncephalitis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1494-1494	biochemicalAgentSyndrome VibrioCholera and Cholera
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1627-1627	biochemicalAgentSyndrome WestNileVirus and WestNileFever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1174-1174	biochemicalAgentSyndrome YellowFeverVirus and Fever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1175-1175	biochemicalAgentSyndrome YellowFeverVirus and YellowSkin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 406-406	biochemicalAgentSyndrome YersiniaPestis and Plague

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