|
|
   LifeThreateningAgent
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LifeThreateningAgent EnglishLanguage "A BiochemicalAgent that has been observed to cause the death of Humans.") | WMD.kif 1003-1004 | |
| (subclass LifeThreateningAgent BiochemicalAgent) | WMD.kif 1002-1002 |
| appearance as argument number 2 |
|
|
| (subclass BotulinumToxin LifeThreateningAgent) | WMD.kif 324-324 | |
| (subclass StaphylococcalEnterotoxinB LifeThreateningAgent) | WMD.kif 1429-1429 | |
| (termFormat ChineseLanguage LifeThreateningAgent "危及生命的特工") | domainEnglishFormat.kif 34332-34332 | |
| (termFormat ChineseTraditionalLanguage LifeThreateningAgent "危及生命的特工") | domainEnglishFormat.kif 34331-34331 | |
| (termFormat EnglishLanguage LifeThreateningAgent "life threatening agent") | domainEnglishFormat.kif 34330-34330 |
| antecedent |
|
|
| (=> (instance ?AGENT LifeThreateningAgent) (capability Killing instrument ?AGENT)) |
WMD.kif 1006-1008 |
| consequent |
|
|
| (=> (and (instance ?DISEASE LifeThreateningDisease) (biochemicalAgentSyndrome ?AGENT ?DISEASE)) (instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1027-1031 | |
| (=> (and (lethalDose ?AGENT (MeasureFn ?NUMBER ?UNIT)) (greaterThan ?NUMBER 0.0)) (instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1010-1015 | |
| (=> (equal ?C (AgentOfOrganismFn CoccidiodesPosadasii)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1384-1387 | |
| (=> (equal ?C (AgentOfOrganismFn CoccidioidesImmitis)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1372-1375 | |
| (=> (equal ?C (AgentOfOrganismFn SerratiaMarcenscens)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1362-1365 | |
| (=> (equal ?C (AgentOfOrganismFn TickBorneEncephalitisVirus)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 2009-2012 | |
| (=> (equal ?C (AgentOfOrganismFn YersiniaPestis)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 401-404 |
|
|
|