Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MicroFn |
| appearance as argument number 1 |
|
| (instance MicroFn UnitOfMeasureMultiplier) | Merge.kif 6656-6656 | Micro is an instance of unit of measure multiplier |
| (domain MicroFn 1 UnitOfMeasure) | Merge.kif 6657-6657 | The number 1 argument of micro is an instance of unit of measure |
| (range MicroFn UnitOfMeasure) | Merge.kif 6658-6658 | The range of micro is an instance of unit of measure |
| (documentation MicroFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to .000001 units of the original UnitOfMeasure. For example, (MicroFn Meter) is .000001 Meters.") | Merge.kif 6660-6662 | The range of micro is an instance of unit of measure |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?MICROUNIT (MicroFn ?UNIT))) (equal (MeasureFn 1 ?MICROUNIT) (MeasureFn 0.000001 ?UNIT))) |
Merge.kif 6664-6668 | If X is an instance of unit of measure and equal Y and one millionth of a X, then equal 1 Y(s) and 0.000001 X(s) |
| (=> (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 |
| statement |
|
|
|