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	Die Zahl 2 Argument von effectiveDose ist ein fall von FunctionQuantity %n{nicht}
(domainSubclass effectiveDose 1 BiochemicalAgent)	WMD.kif 796-796	Die Zahl 1 Argument von effectiveDose ist eine teilkategorie von BiochemicalAgent %n{nicht}
(instance effectiveDose BinaryPredicate)	WMD.kif 795-795	effectiveDose ist ein fall von BinaryPredicate %n{nicht}

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	lethalDose ist innerlich verwandt mit effectiveDose %n{nicht}
(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	Wenn UnitOfMeasure ist ein fall von McgPerKg %n{nicht} und effectiveDose BiochemicalAgent and RealNumber UnitOfMeasure(s) und lethalDose BiochemicalAgent and RealNumber UnitOfMeasure(s), dann RealNumber ist groesserAls RealNumber %n{nicht}
(=> (effectiveDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass)))	WMD.kif 803-810	Wenn effectiveDose BiochemicalAgent and PerFn RealNumber UnitOfMeasure(s) and RealNumber UnitOfMeasure(s), dann UnitOfMeasure ist ein fall von UnitOfMass %n{nicht} und UnitOfMeasure ist ein fall von UnitOfMass %n{nicht}

appearance as argument number 0

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

WMD.kif 1439-1439