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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - effectiveDose
effectiveDose

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


s__documentation(s__effectiveDose__m,s__EnglishLanguage,'(effectiveDose ?AGENT ?QUANTITY) means that ?QUANTITY is the effective dose, or ED50, for the BiochemicalAgent ?AGENT. This is the dose that would incapacitate 50% of the exposed human population. Note that ?QUANTITY is generally expressed in micrograms per kilogram (mcg/kg).')

WMD.kif 792-795
s__domain(s__effectiveDose__m,2,s__FunctionQuantity)

WMD.kif 791-791
s__domainSubclass(s__effectiveDose__m,1,s__BiochemicalAgent)

WMD.kif 790-790
s__instance(s__effectiveDose__m,s__BinaryPredicate)

WMD.kif 789-789

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


s__format(s__EnglishLanguage,s__effectiveDose__m,'%2 is %n an effective dose of %1')

domainEnglishFormat.kif 217-217
s__relatedInternalConcept(s__lethalDose__m,s__effectiveDose__m)

WMD.kif 806-806
s__termFormat(s__EnglishLanguage,s__effectiveDose__m,'effective dose')

domainEnglishFormat.kif 3970-3970

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__NUMBER1,V__UNIT1,V__NUMBER2,V__UNIT2] :
   (s__effectiveDose(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 797-801

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


s__effectiveDose(s__StaphylococcalEnterotoxinB,s__PerFn(s__MeasureFn(0.0004,s__MicroFn(s__Gram))
,s__MeasureFn(1,s__KiloFn(s__Gram))))

WMD.kif 1325-1325


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