Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| KiloFn |
| appearance as argument number 1 |
|
| (instance KiloFn UnitOfMeasureMultiplier) | Merge.kif 6586-6586 | Kilo is an instance of unit of measure multiplier |
| (domain KiloFn 1 UnitOfMeasure) | Merge.kif 6587-6587 | The number 1 argument of kilo is an instance of unit of measure |
| (range KiloFn UnitOfMeasure) | Merge.kif 6588-6588 | The range of kilo is an instance of unit of measure |
| (documentation KiloFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000 units of the original UnitOfMeasure. For example, (KiloFn Gram) is 1,000 Grams.") | Merge.kif 6590-6592 | The range of kilo is an instance of unit of measure |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?GIGAUNIT (GigaFn ?UNIT))) (equal (MeasureFn 1 ?GIGAUNIT) (MeasureFn 1000000 (KiloFn ?UNIT)))) |
Merge.kif 6622-6626 | If X is an instance of unit of measure and equal Y and 1 billion Z, then equal 1 Y(s) and 1000000 1 thousand Z(s) |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?TERAUNIT (TeraFn ?UNIT))) (equal (MeasureFn 1 ?TERAUNIT) (MeasureFn 1000000000 (KiloFn ?UNIT)))) |
Merge.kif 6636-6640 | If X is an instance of unit of measure and equal Y and 1 trillion Z, then equal 1 Y(s) and 1000000000 1 thousand Z(s) |
| (=> (instance ?EM EspressoMaking) (holdsDuring ?EM (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R) (and (instance ?H Heating) (patient ?H ?W) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03) (holdsDuring (EndFn (WhenFn ?H)) (and (measure ?W (MeasureFn ?T CelsiusDegree)) (approximateValue ?T 90))) (instance ?LM LiquidMotion) (patient ?LM ?W) (holdsDuring ?LM (and (measure ?W (MeasureFn ?P (KiloFn Pascal))) (approximateValue ?P 900))) (destination ?LM ?COLL) (instance ?COLL CollectionOfObjects) (measure ?COLL (MeasureFn ?K Gram)) (approximateValue ?K 7.5) (member ?COLL ?CG) (instance ?CG CoffeeGrind) (attribute ?CG FineGrind) (located ?COLL ?F) (instance ?F Filter) (instance ?R Removing) (instrument ?R ?F) (patient ?R ?COLL) (temporallyBetween (EndFn (WhenFn ?H)) (EndFn (WhenFn ?LM)) (EndFn (WhenFn ?R))))))) |
Food.kif 776-811 | If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X |
| (=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 5404-5410 | If equal X and Y nautical mile(s), then equal X and Y and 1.852 1 thousand meters(s) |
| (=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 5429-5436 | If equal X, 1.0, and X, then equal X nautical mile(s) and X and 1.852 1 thousand meters(s) |
| (=> (and (origin AntarcticCircumpolarCurrent ?START) (destination AntarcticCircumpolarCurrent ?FINISH)) (distance ?START ?FINISH (MeasureFn 21000.0 (KiloFn Meter)))) |
Geography.kif 6239-6245 | If antarctic circumpolar current originates at X and antarctic circumpolar current ends up at Y, then the distance between X and Y is 21000.0 1 thousand meters(s) |
| statement |
|
|
|