TreeView Knowledge Base Browser

appearance as argument number 1

(documentation effectiveDose 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 798-801
(domain effectiveDose 2 FunctionQuantity)	WMD.kif 797-797
(domainSubclass effectiveDose 1 BiochemicalAgent)	WMD.kif 796-796
(instance effectiveDose BinaryPredicate)	WMD.kif 795-795

appearance as argument number 2

(format ChineseLanguage effectiveDose "%2 %n 是 %1 的 effective 剂量")	domainEnglishFormat.kif 832-832
(format ChineseTraditionalLanguage effectiveDose "%2 %n 是 %1 的 effective 劑量")	domainEnglishFormat.kif 831-831
(format EnglishLanguage effectiveDose "%2 is %n an effective dose of %1")	domainEnglishFormat.kif 830-830
(relatedInternalConcept lethalDose effectiveDose)	WMD.kif 845-845
(termFormat ChineseLanguage effectiveDose "有效剂量")	domainEnglishFormat.kif 21294-21294
(termFormat ChineseTraditionalLanguage effectiveDose "有效劑量")	domainEnglishFormat.kif 21293-21293
(termFormat EnglishLanguage effectiveDose "effective dose")	domainEnglishFormat.kif 21292-21292

antecedent

(=> (and (instance ?U McgPerKg) (effectiveDose ?AGENT (MeasureFn ?NUMBER1 ?U)) (lethalDose ?AGENT (MeasureFn ?NUMBER2 ?U))) (greaterThan ?NUMBER2 ?NUMBER1))	WMD.kif 851-858
(=> (effectiveDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass)))	WMD.kif 803-810

appearance as argument number 0

(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))

WMD.kif 1439-1439