(=>
(equal ?C
(AgentOfOrganismFn YersiniaPestis))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 396-399 |
If equal X and the biological agent of yersinia pestis, then X is a subclass of life threatening agent |
(=>
(and
(instance ?AGENT ?CLASS)
(lethalDose ?CLASS
(MeasureFn ?NUMBER ?UNIT))
(greaterThan ?NUMBER 0.0))
(instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1013-1019 |
If X is an instance of Y, Z W(s) is a lethal dose of Y, and Z is greater than 0.0, then X is an instance of life threatening agent |
(=>
(and
(instance ?DISEASE LifeThreateningDisease)
(instance ?AGENT ?CLASS)
(biochemicalAgentSyndrome ?CLASS ?DISEASE))
(instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1031-1036 |
If X is an instance of life threatening disease, Y is an instance of Z, and X is a biochemical agent syndrome of Z, then Y is an instance of life threatening agent |
(=>
(equal ?C
(AgentOfOrganismFn SerratiaMarcenscens))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 1367-1370 |
If equal X and the biological agent of serratia marcenscens, then X is a subclass of life threatening agent |
(=>
(equal ?C
(AgentOfOrganismFn CoccidioidesImmitis))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 1377-1380 |
If equal X and the biological agent of coccidioides immitis, then X is a subclass of life threatening agent |
(=>
(equal ?C
(AgentOfOrganismFn CoccidiodesPosadasii))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 1389-1392 |
If equal X and the biological agent of coccidiodes posadasii, then X is a subclass of life threatening agent |
(=>
(equal ?C
(AgentOfOrganismFn TickBorneEncephalitisVirus))
(subclass ?C LifeThreateningAgent)) |
WMD.kif 2015-2018 |
If equal X and the biological agent of tick borne encephalitis virus, then X is a subclass of life threatening agent |
LifeThreateningAgent