| 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 | The number 2 argument of effective dose is an instance of function quantity |
| (domainSubclass effectiveDose 1 BiochemicalAgent) | WMD.kif 796-796 | The number 1 argument of effective dose is a subclass of biochemical agent |
| (instance effectiveDose BinaryPredicate) | WMD.kif 795-795 | effective dose is an instance of binary predicate |
| 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 | lethal dose is internally related to effective dose |
| (termFormat ChineseLanguage effectiveDose "有效剂量") | domainEnglishFormat.kif 21305-21305 | lethal dose is internally related to effective dose |
| (termFormat ChineseTraditionalLanguage effectiveDose "有效劑量") | domainEnglishFormat.kif 21304-21304 | lethal dose is internally related to effective dose |
| (termFormat EnglishLanguage effectiveDose "effective dose") | domainEnglishFormat.kif 21303-21303 | lethal dose is internally related to effective dose |
| 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 | The per of 0.0004 one millionth of a gram(s) and 1.0 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b |
|
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 3.0 is open source software produced by Articulate Software and its partners