lethalDose |
appearance as argument number 1 |
(documentation lethalDose 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 846-849 | |
(domain lethalDose 2 FunctionQuantity) | WMD.kif 844-844 | 域 致死劑量, 2 and FunctionQuantity |
(domainSubclass lethalDose 1 BiochemicalAgent) | WMD.kif 843-843 | 域子類 致死劑量, 1 and 生化劑 |
(instance lethalDose BinaryPredicate) | WMD.kif 842-842 | 例 致死劑量 and BinaryPredicate |
(relatedInternalConcept lethalDose effectiveDose) | WMD.kif 845-845 | 相關的內部概念 致死劑量 and 有效劑量 |
appearance as argument number 2 |
(format ChineseLanguage lethalDose "%2 %n 是 %1 的 lethal 剂量") | domainEnglishFormat.kif 1527-1527 | |
(format ChineseTraditionalLanguage lethalDose "%2 %n 是 %1 的 lethal 劑量") | domainEnglishFormat.kif 1526-1526 | |
(format EnglishLanguage lethalDose "%2 is %n a lethal dose of %1") | domainEnglishFormat.kif 1525-1525 | |
(termFormat ChineseLanguage lethalDose "致死剂量") | domainEnglishFormat.kif 34157-34157 | |
(termFormat ChineseTraditionalLanguage lethalDose "致死劑量") | domainEnglishFormat.kif 34156-34156 | |
(termFormat EnglishLanguage lethalDose "lethal dose") | domainEnglishFormat.kif 34155-34155 |
antecedent |
(=> (and (instance ?AGENT ?CLASS) (lethalDose ?CLASS (MeasureFn ?NUMBER ?UNIT)) (greaterThan ?NUMBER 0.0)) (instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1017-1023 |
|
(=> (and (instance ?U McgPerKg) (effectiveDose ?AGENT (MeasureFn ?NUMBER1 ?U)) (lethalDose ?AGENT (MeasureFn ?NUMBER2 ?U))) (greaterThan ?NUMBER2 ?NUMBER1)) |
WMD.kif 851-858 |
|
(=> (lethalDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass))) |
WMD.kif 860-867 |
|
appearance as argument number 0 |