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	effectiveDose の数値 2 引数は関数量の instance では %n
(domainSubclass effectiveDose 1 BiochemicalAgent)	WMD.kif 796-796	effectiveDose の数値 1 引数は BiochemicalAgent のsubclass では %n
(instance effectiveDose BinaryPredicate)	WMD.kif 795-795	effectiveDose は 2進述語の instance では %n

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 は effectiveDose に internally 関連して %n
(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	測定単位は McgPerKg の instance では %n effectiveDose BiochemicalAgent and 実数の測定単位(s) lethalDose BiochemicalAgent and 実数の測定単位(s) 実数は実数より greater では　%n
(=> (effectiveDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass)))	WMD.kif 803-810	effectiveDose BiochemicalAgent and PerFn 実数の測定単位(s) and 実数の測定単位(s) 測定単位は UnitOfMass の instance では %n 測定単位は UnitOfMass の instance では %n

appearance as argument number 0

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

WMD.kif 1439-1439