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 6503-6507 |
|
(=>
(and
(instance ?UNIT UnitOfMeasure)
(equal ?TERAUNIT
(TeraFn ?UNIT)))
(equal
(MeasureFn 1 ?TERAUNIT)
(MeasureFn 1000000000
(KiloFn ?UNIT)))) |
Merge.kif 6517-6521 |
|
(=>
(and
(origin AntarcticCircumpolarCurrent ?START)
(destination AntarcticCircumpolarCurrent ?FINISH))
(distance ?START ?FINISH
(MeasureFn 21000.0
(KiloFn Meter)))) |
Geography.kif 4697-4703 |
|
(=>
(equal ?AMOUNT
(MeasureFn ?NUM NauticalMile))
(equal ?AMOUNT
(MeasureFn
(MultiplicationFn ?NUM 1.852)
(KiloFn Meter)))) |
Geography.kif 3869-3875 |
|
(=>
(equal ?NUM
(MultiplicationFn 1.0 ?NUM))
(equal
(MeasureFn ?NUM NauticalMile)
(MeasureFn
(MultiplicationFn ?NUM 1.852)
(KiloFn Meter)))) |
Geography.kif 3894-3901 |
|
(=>
(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 Collection)
(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 799-834 |
- Wenn TimePosition ist ein fall von EspressoMaking %n{nicht},
- dann es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Heating %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und das mass von ** ** entity ist ** ** entity Liter(s) %n{nicht} und approximateValue ** ** entity and 0.03 und das mass von ** ** entity ist ** ** entity CelsiusDegree(s) %n{nicht} und approximateValue ** ** entity and 90 haelt waehrend das ende von die zeit des Bestehens von ** entity %n{nicht} und ** ** entity ist ein fall von LiquidMotion %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und das mass von ** ** entity ist ** ** entity 1 tausend Pascal(s) %n{nicht} und approximateValue ** ** entity and 900 haelt waehrend ** ** entity %n{nicht} und ** ** entity endet an ** ** entity %n{nicht} und ** ** entity ist ein fall von Collection %n{nicht} und das mass von ** ** entity ist ** ** entity Gram(s) %n{nicht} und approximateValue ** ** entity and 7.5 und ** ** entity ist ein Mitglied von ** ** entity %n{nicht} und ** ** entity ist ein fall von CoffeeGrind %n{nicht} und FineGrind ist ein attribut von ** ** entity %n{nicht} und ** ** entity befindet sich an %n{nicht} und ** ** entity ist ein fall von Filter %n{nicht} und ** ** entity ist ein fall von Removing %n{nicht} und ** ** entity ist ein instrument fuer ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und das ende von die zeit des Bestehens von ** ** entity ist zwischen das ende von die zeit des Bestehens von ** entity und das ende von die zeit des Bestehens von ** ** entity haelt waehrend ** TimePosition %n{nicht}
|
|