  KiloFn
|
|
Sigma KEE - KiloFn
|
appearance as argument number 1
|
|
|
|
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) |
|
