|
|
   LifeThreateningAgent
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LifeThreateningAgent EnglishLanguage "A BiochemicalAgent that has been observed to cause the death of Humans.") | WMD.kif 1010-1011 | |
| (subclass LifeThreateningAgent BiochemicalAgent) | WMD.kif 1009-1009 |
| appearance as argument number 2 |
|
|
| (subclass BotulinumToxin LifeThreateningAgent) | WMD.kif 324-324 | |
| (subclass StaphylococcalEnterotoxinB LifeThreateningAgent) | WMD.kif 1438-1438 | |
| (termFormat ChineseLanguage LifeThreateningAgent "危及生命的特工") | domainEnglishFormat.kif 34349-34349 | |
| (termFormat ChineseTraditionalLanguage LifeThreateningAgent "危及生命的特工") | domainEnglishFormat.kif 34348-34348 | |
| (termFormat EnglishLanguage LifeThreateningAgent "life threatening agent") | domainEnglishFormat.kif 34347-34347 |
| antecedent |
|
|
| (=> (instance ?AGENT LifeThreateningAgent) (capability Killing instrument ?AGENT)) |
WMD.kif 1013-1015 |
| consequent |
|
|
| (=> (and (instance ?AGENT ?CLASS) (lethalDose ?CLASS (MeasureFn ?NUMBER ?UNIT)) (greaterThan ?NUMBER 0.0)) (instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1017-1023 | |
| (=> (and (instance ?DISEASE LifeThreateningDisease) (instance ?AGENT ?CLASS) (biochemicalAgentSyndrome ?CLASS ?DISEASE)) (instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1035-1040 | |
| (=> (equal ?C (AgentOfOrganismFn CoccidiodesPosadasii)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1393-1396 | |
| (=> (equal ?C (AgentOfOrganismFn CoccidioidesImmitis)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1381-1384 | |
| (=> (equal ?C (AgentOfOrganismFn SerratiaMarcenscens)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1371-1374 | |
| (=> (equal ?C (AgentOfOrganismFn TickBorneEncephalitisVirus)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 2019-2022 | |
| (=> (equal ?C (AgentOfOrganismFn YersiniaPestis)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 401-404 |
|
|
|