Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lethalDose |
| appearance as argument number 1 |
|
| (instance lethalDose BinaryPredicate) | WMD.kif 837-837 | lethal dose is an instance of binary predicate |
| (domainSubclass lethalDose 1 BiochemicalAgent) | WMD.kif 838-838 | The number 1 argument of lethal dose is a subclass of biochemical agent |
| (domain lethalDose 2 FunctionQuantity) | WMD.kif 839-839 | The number 2 argument of lethal dose is an instance of function quantity |
| (relatedInternalConcept lethalDose effectiveDose) | WMD.kif 840-840 | lethal dose is internally related to effective dose |
| (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 841-844 | lethal dose is internally related to effective dose |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage lethalDose "%2 is %n a lethal dose of %1") | domainEnglishFormat.kif 1525-1525 | |
| (format ChineseTraditionalLanguage lethalDose "%2 %n 是 %1 的 lethal 劑量") | domainEnglishFormat.kif 1526-1526 | |
| (format ChineseLanguage lethalDose "%2 %n 是 %1 的 lethal 剂量") | domainEnglishFormat.kif 1527-1527 | |
| (termFormat EnglishLanguage lethalDose "lethal dose") | domainEnglishFormat.kif 34159-34159 | |
| (termFormat ChineseTraditionalLanguage lethalDose "致死劑量") | domainEnglishFormat.kif 34160-34160 | |
| (termFormat ChineseLanguage lethalDose "致死剂量") | domainEnglishFormat.kif 34161-34161 |
| antecedent |
|
|
| (=> (and (instance ?U McgPerKg) (effectiveDose ?AGENT (MeasureFn ?NUMBER1 ?U)) (lethalDose ?AGENT (MeasureFn ?NUMBER2 ?U))) (greaterThan ?NUMBER2 ?NUMBER1)) |
WMD.kif 846-853 | If X is an instance of micrograms per kilogram, Y X(s) is an effective dose of Z, and W X(s) is a lethal dose of Z, then W is greater than Y |
| (=> (lethalDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass))) |
WMD.kif 855-862 | If the per of X Y(s) and Z W(s) is a lethal dose of V, then Y is an instance of unit of mass and W is an instance of unit of mass |
| (=> (and (instance ?AGENT ?CLASS) (lethalDose ?CLASS (MeasureFn ?NUMBER ?UNIT)) (greaterThan ?NUMBER 0.0)) (instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1013-1019 | If X is an instance of Y, Z W(s) is a lethal dose of Y, and Z is greater than 0.0, then X is an instance of life threatening agent |
| appearance as argument number 0 |
|
|
|