Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| McgPerKg(micrograms per kilogram) |
| appearance as argument number 1 |
|
| (instance McgPerKg CompositeUnitOfMeasure) | WMD.kif 807-807 | Micrograms per kilogram is an instance of composite unit of measure |
| (instance McgPerKg FunctionQuantity) | WMD.kif 808-808 | Micrograms per kilogram is an instance of function quantity |
| (documentation McgPerKg EnglishLanguage "McgPerKg refers to a microgram of BiologicallyActiveSubstance per Kilogram of the body weight of the Organism taking the Substance.") | WMD.kif 809-811 | Micrograms per kilogram is an instance of function quantity |
| (documentation McgPerKg ChineseLanguage "McgPerKg 指吸取生物活性物质 (BiologicallyActiveSubstance)的生物（Organism）体重(weight)每公斤 (Kilogram)所用该物质(Substance)以微克（microgram）计算的重量(weight)。") | WMD.kif 812-814 | Micrograms per kilogram is an instance of function quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage McgPerKg "micrograms per kilogram") | WMD.kif 815-815 | |
| (termFormat ChineseLanguage McgPerKg "每公斤微克") | WMD.kif 816-816 |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2)))) |
WMD.kif 818-835 | If equal X micrograms per kilogram(s) and the per of Y and Z, equal Y and W one millionth of a gram(s), and equal Z and V 1 thousand grams(s), then All of the following hold: (1) there exist U, T (2) S such that U is an instance of ingesting (3) T is an instance of biologically active substance (4) S is an instance of organism (5) T is a patient of U (6) S is an agent of U (7) Y is a weight of T (8) Z is a weight of S |
| (=> (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 |
|