Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lethalDose
lethalDose

appearance as argument number 1
-------------------------


s__documentation(s__lethalDose__m,s__EnglishLanguage,'(lethalDose ?AGENT ?QUANTITY) means that ?QUANTITY is the lethal dose, or LD50, for the BiochemicalAgent ?AGENT. This is the dose that would result in death for 50% of the exposed human population. Note that ?QUANTITY is generally expressed in micrograms per kilogram (mcg/kg).')

WMD.kif 807-810
s__domain(s__lethalDose__m,2,s__FunctionQuantity)

WMD.kif 805-805
s__domainSubclass(s__lethalDose__m,1,s__BiochemicalAgent)

WMD.kif 804-804
s__instance(s__lethalDose__m,s__BinaryPredicate)

WMD.kif 803-803
s__relatedInternalConcept(s__lethalDose__m,s__effectiveDose__m)

WMD.kif 806-806

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__lethalDose__m,'%2 is %n a lethal dose of %1')

domainEnglishFormat.kif 390-390
s__termFormat(s__EnglishLanguage,s__lethalDose__m,'lethal dose')

domainEnglishFormat.kif 6111-6111

antecedent
-------------------------


( ! [V__AGENT,V__NUMBER1,V__NUMBER2] :
   ((s__effectiveDose(V__AGENT,V__NUMBER1)
     &
     s__lethalDose(V__AGENT,V__NUMBER2))
=>
s__greaterThan(V__NUMBER2,V__NUMBER1))
)

WMD.kif 812-816
( ! [V__AGENT,V__NUMBER] :
   ((s__lethalDose(V__AGENT,V__NUMBER)
     &
     s__greaterThan(V__NUMBER,0))
=>
s__instance(V__AGENT,s__LifeThreateningAgent))
)

WMD.kif 963-967
( ! [V__AGENT,V__NUMBER1,V__UNIT1,V__NUMBER2,V__UNIT2] :
   (s__lethalDose(V__AGENT,s__PerFn(s__MeasureFn(V__NUMBER1,V__UNIT1)
  ,s__MeasureFn(V__NUMBER2,V__UNIT2)))
=>
(s__instance(V__UNIT1,s__MassMeasure) &
s__instance(V__UNIT2,s__MassMeasure)))
)

WMD.kif 818-822

appearance as argument number 0
-------------------------


s__lethalDose(s__AbrinToxin,s__PerFn(s__MeasureFn(0.04,s__MicroFn(s__Gram))
,s__MeasureFn(1,s__KiloFn(s__Gram))))

WMD.kif 434-434
s__lethalDose(s__Batrachotoxin,s__PerFn(s__MeasureFn(2.0,s__MicroFn(s__Gram))
,s__MeasureFn(1.0,s__KiloFn(s__Gram))))

WMD.kif 310-310
s__lethalDose(s__BotulinumToxin,s__PerFn(s__MeasureFn(0.001,s__MicroFn(s__Gram))
,s__MeasureFn(1,s__KiloFn(s__Gram))))

WMD.kif 325-325
s__lethalDose(s__Diacetoxyscirpenol,s__PerFn(s__MeasureFn(23,s__MilliFn(s__Gram))
,s__MeasureFn(1,s__KiloFn(s__Gram))))

WMD.kif 1689-1689
s__lethalDose(s__RicinToxin,s__PerFn(s__MeasureFn(3.0,s__MicroFn(s__Gram))
,s__MeasureFn(1,s__KiloFn(s__Gram))))

WMD.kif 426-426
s__lethalDose(s__Sarin,s__PerFn(s__MeasureFn(100.0,s__MicroFn(s__Gram))
,s__MeasureFn(1,s__KiloFn(s__Gram))))

WMD.kif 581-581
s__lethalDose(s__ShigaToxin,s__PerFn(s__MeasureFn(0.002,s__MicroFn(s__Gram))
,s__MeasureFn(1,s__KiloFn(s__Gram))))

WMD.kif 1240-1240
s__lethalDose(s__Soman,s__PerFn(s__MeasureFn(64.0,s__MicroFn(s__Gram))
,s__MeasureFn(1.0,s__KiloFn(s__Gram))))

WMD.kif 577-577
s__lethalDose(s__StaphylococcalEnterotoxinB,s__PerFn(s__MeasureFn(0.02,s__MicroFn(s__Gram))
,s__MeasureFn(1,s__KiloFn(s__Gram))))

WMD.kif 1326-1326
s__lethalDose(s__T2Toxin,s__PerFn(s__MeasureFn(5.2,s__MilliFn(s__Gram))
,s__MeasureFn(1,s__KiloFn(s__Gram))))

WMD.kif 1694-1694
s__lethalDose(s__VX,s__PerFn(s__MeasureFn(15.0,s__MicroFn(s__Gram))
,s__MeasureFn(1.0,s__KiloFn(s__Gram))))

WMD.kif 594-594


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners