(=>
(and
(instance ?B Object)
(roastedToTemperature ?B ?T))
(exists (?H)
(and
(instance ?H Heating)
(patient ?H ?B)
(holdsDuring
(EndFn
(WhenFn ?H))
(measure ?B
(MeasureFn ?T CelsiusDegree)))))) |
Food.kif 468-478 |
|
(=>
(and
(instance ?FM FoamingMilk)
(instance ?M ProcessedMilk)
(patient ?FM ?M))
(exists (?H ?A ?B)
(and
(instance ?H Heating)
(patient ?H ?M)
(instance ?A Aerating)
(patient ?A ?M)
(result ?A ?B)
(instance ?B Bubble)
(during
(WhenFn ?A)
(WhenFn ?H))))) |
Food.kif 1191-1206 |
|
(=>
(and
(instance ?I Ironing)
(patient ?I ?OBJ)
(part ?FABRIC ?OBJ)
(instance ?FABRIC Fabric))
(exists (?IRON ?HEAT)
(and
(instance ?HEAT Heating)
(patient ?HEAT ?IRON)
(instance ?IRON FabricIron)
(instrument ?I ?IRON)))) |
Mid-level-ontology.kif 26945-26956 |
|
(=>
(and
(instance ?I Ironing)
(patient ?I ?OBJ))
(exists (?HEAT ?IRON ?PART)
(and
(superficialPart ?PART ?OBJ)
(instance ?HEAT Heating)
(patient ?HEAT ?IRON)
(patient ?I ?PART)
(instrument ?I ?IRON)))) |
Mid-level-ontology.kif 26933-26943 |
|
(=>
(and
(instance ?X DryRoasting)
(instance ?F Food)
(patient ?X ?F))
(holdsDuring ?X
(exists (?H ?S)
(and
(instance ?H Heating)
(instance ?S Stirring)
(subProcess ?H ?X)
(subProcess ?S ?X)
(during
(WhenFn ?S)
(WhenFn ?H))
(patient ?H ?F)
(patient ?S ?F)
(not
(exists (?O ?W)
(and
(instance ?O Oil)
(instance ?W DrinkingWater)
(patient ?X ?O)
(patient ?X ?W)))))))) |
Food.kif 128-151 |
|
(=>
(and
(instance ?X HotTub)
(located ?WATER ?X)
(instance ?WATER Water))
(modalAttribute
(exists (?HEAT)
(and
(instance ?HEAT Heating)
(instrument ?HEAT ?X)
(patient ?HEAT ?WATER))) Possibility)) |
Mid-level-ontology.kif 26986-26996 |
|
(=>
(attribute ?FOOD CookedAttribute)
(exists (?PROC1 ?PROC2)
(and
(instance ?PROC1 Cooking)
(instance ?PROC2 Heating)
(subProcess ?PROC2 ?PROC1)
(result ?PROC1 ?FOOD)))) |
Food.kif 37-44 |
|
(=>
(attribute ?FOOD RawAttribute)
(not
(exists (?PROC)
(and
(instance ?PROC Heating)
(result ?PROC ?FOOD))))) |
Food.kif 55-61 |
|
(=>
(instance ?BLANKET Blanket)
(hasPurpose ?BLANKET
(exists (?HEAT ?PERSON ?BED)
(and
(instance ?HEAT Heating)
(patient ?HEAT ?PERSON)
(instance ?PERSON Human)
(located ?PERSON ?BED)
(instance ?BED Bed))))) |
Mid-level-ontology.kif 6391-6400 |
|
(=>
(instance ?BOIL Boiling)
(exists (?HEAT)
(and
(instance ?HEAT Heating)
(subProcess ?HEAT ?BOIL)))) |
Merge.kif 14064-14069 |
|
(=>
(instance ?COMBUSTION Combustion)
(exists (?HEAT ?LIGHT)
(and
(instance ?HEAT Heating)
(instance ?LIGHT RadiatingLight)
(subProcess ?HEAT ?COMBUSTION)
(subProcess ?LIGHT ?COMBUSTION)))) |
Merge.kif 12715-12722 |
|
(=>
(instance ?D HeatingDevice)
(hasPurpose ?D
(exists (?H)
(and
(instance ?H Heating)
(instrument ?H ?D))))) |
Mid-level-ontology.kif 2771-2777 |
|
(=>
(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 |
- If a time position is an instance of espresso making,
- then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position
|
(=>
(instance ?ERUPTING VolcanicEruption)
(exists (?HEATING)
(and
(instance ?HEATING Heating)
(subProcess ?HEATING ?ERUPTING)))) |
Geography.kif 2431-2436 |
|
(=>
(instance ?HS HeatSealer)
(hasPurpose ?HS
(exists (?CLOSE ?PLAST ?CONT ?HEAT)
(and
(instance ?CONT Container)
(instance ?PLAST Plastic)
(instance ?CLOSE Closing)
(instance ?HEAT Heating)
(instrument ?CLOSE ?HS)
(instrument ?CLOSE ?PLAST)
(agent ?HEAT ?HS)
(patient ?HEAT ?PLAST)
(result ?HEAT ?CLOSE)
(patient ?CLOSE ?CONT))))) |
Economy.kif 5504-5518 |
|
(=>
(instance ?L Lard)
(exists (?H ?F ?P)
(and
(instance ?H Heating)
(patient ?H ?F)
(instance ?F FatTissue)
(part ?F ?P)
(instance ?P Pork)
(result ?H ?L)))) |
Food.kif 2897-2906 |
|
(=>
(instance ?M Microwave)
(hasPurpose ?M
(exists (?FOOD ?HEATING)
(and
(instance ?FOOD PreparedFood)
(instance ?HEATING Heating)
(instrument ?HEATING ?M)
(patient ?HEATING ?FOOD))))) |
Food.kif 355-363 |
|
(=>
(instance ?MELT Melting)
(exists (?HEAT)
(and
(instance ?HEAT Heating)
(subProcess ?HEAT ?MELT)))) |
Merge.kif 14043-14048 |
|
(=>
(instance ?MHCV ManifoldHeatControlValve)
(hasPurpose ?MHCV
(exists (?H ?O ?E ?FV ?T)
(and
(instance ?H Heating)
(instance ?O Opening)
(instance ?E Exhaust)
(instance ?T Transfer)
(instance ?FV FuelVapor)
(patient ?O ?MHCV)
(instrument ?H ?E)
(patient ?H ?FV)
(path ?T ?MHCV)
(causes ?O ?T)
(causes ?T ?H))))) |
Cars.kif 3323-3338 |
|
(=>
(instance ?S SoupStock)
(exists (?H)
(and
(instance ?H Heating)
(result ?H ?S)))) |
Food.kif 1632-1637 |
|
(=>
(instance ?T Tallow)
(exists (?H ?S)
(and
(instance ?H Heating)
(patient ?H ?S)
(instance ?S Suet)
(result ?H ?T)))) |
Food.kif 2928-2935 |
|
(=>
(instance ?X CocoaLiquor)
(exists (?H ?B)
(and
(instance ?H Heating)
(patient ?H ?B)
(instance ?B CocoaBean)
(attribute ?B DryRoastAttribute)
(attribute ?B HulledAttribute)
(attribute ?B FermentedAttribute)
(result ?H ?X)
(holdsDuring ?H
(attribute ?X Liquid))))) |
Food.kif 2456-2468 |
|
(=>
(instance ?X RoomHeater)
(hasPurpose ?X
(exists (?AIR ?HEATING ?ROOM)
(and
(instance ?AIR Air)
(instance ?ROOM Room)
(located ?AIR ?ROOM)
(instance ?HEATING Heating)
(patient ?HEATING ?AIR)
(instrument ?HEATING ?X))))) |
Mid-level-ontology.kif 28502-28512 |
|
(=>
(instance ?X WaterHeater)
(hasPurpose ?X
(exists (?HEAT ?WATER)
(and
(instance ?HEAT Heating)
(instance ?WATER FreshWater)
(patient ?HEAT ?WATER)
(instrument ?HEAT ?X))))) |
Mid-level-ontology.kif 27319-27327 |
|
more pictures...