consequent

(=>     (instance ?ERUPTING VolcanicEruption)     (exists (?HEATING)         (and             (instance ?HEATING Heating)             (subProcess ?HEATING ?ERUPTING))))	Merge.kif 1048-1053	If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of heating and Y is a subprocess of X
(=>     (instance ?COMBUSTION Combustion)     (exists (?HEAT ?LIGHT)         (and             (instance ?HEAT Heating)             (instance ?LIGHT RadiatingLight)             (subProcess ?HEAT ?COMBUSTION)             (subProcess ?LIGHT ?COMBUSTION))))	Merge.kif 12866-12873	If X is an instance of burning, then there exist Y, Z such that Y is an instance of heating, Z is an instance of radiating light, Y is a subprocess of X, and Z is a subprocess of X
(=>     (instance ?MELT Melting)     (exists (?HEAT)         (and             (instance ?HEAT Heating)             (subProcess ?HEAT ?MELT))))	Merge.kif 14214-14219	If X is an instance of melting, then there exists Y such that Y is an instance of heating and Y is a subprocess of X
(=>     (instance ?BOIL Boiling)     (exists (?HEAT)         (and             (instance ?HEAT Heating)             (subProcess ?HEAT ?BOIL))))	Merge.kif 14235-14240	If X is an instance of boiling, then there exists Y such that Y is an instance of heating and Y is a subprocess of X
(=>     (instance ?D HeatingDevice)     (hasPurpose ?D         (exists (?H)             (and                 (instance ?H Heating)                 (instrument ?H ?D)))))	Mid-level-ontology.kif 2908-2914	If X is an instance of heating device, then X has the purpose there exists Y such that Y is an instance of heating and X is an instrument for Y
(=>     (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 6554-6563	If X is an instance of blanket, then X has the purpose there exist Y, Z, W such that Y is an instance of heating, Z is a patient of Y, Z is an instance of human, Z is located at W, and W is an instance of bed
(=>     (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 27572-27582	If X is an instance of ironing and Y is a patient of X, then there exist Z, W, V such that V is a superficial part of Y, Z is an instance of heating, W is a patient of Z, V is a patient of X, and W is an instrument for X
(=>     (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 27584-27595	If X is an instance of ironing, Y is a patient of X, Z is a part of Y, and Z is an instance of fabric, then there exist W, V such that V is an instance of heating, W is a patient of V, W is an instance of iron, and W is an instrument for X
(=>     (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 27608-27618	If X is an instance of hot tub, Y is located at X, and Y is an instance of water, then the statement there exists Z such that Z is an instance of heating, X is an instrument for Z, and Y is a patient of Z has the modal force of possibility
(=>     (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 28230-28238	If X is an instance of water heater, then X has the purpose there exist Y, Z such that Y is an instance of heating, Z is an instance of freshwater, Z is a patient of Y, and X is an instrument for Y
(=>     (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 29438-29448	If X is an instance of room heater, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of air (3) W is an instance of room (4) Y is located at W (5) Z is an instance of heating (6) Y is a patient of Z (7) X is an instrument for Z
(=>     (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 3152-3167	If X is an instance of manifold heat control valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of heating (3) Z is an instance of opening (4) W is an instance of exhaust (5) U is an instance of transfer (6) V is an instance of fuel vapor (7) X is a patient of Z (8) W is an instrument for Y (9) V is a patient of Y (10) X is path along which U occurs (11) Z causes U (12) U causes Y
(=>     (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 5512-5526	If X is an instance of heat sealer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of container (3) Z is an instance of plastic (4) Y is an instance of closing (5) V is an instance of heating (6) X is an instrument for Y (7) Z is an instrument for Y (8) X is an agent of V (9) Z is a patient of V (10) Y is a result of V (11) W is a patient of Y
(=>     (attribute ?FOOD CookedAttribute)     (exists (?PROC1 ?PROC2)         (and             (instance ?PROC1 Cooking)             (instance ?PROC2 Heating)             (subProcess ?PROC2 ?PROC1)             (result ?PROC1 ?FOOD))))	Food.kif 37-44	If cooked is an attribute of X, then there exist Y, Z such that Y is an instance of cooking, Z is an instance of heating, Z is a subprocess of Y, and X is a result of Y
(=>     (attribute ?FOOD RawAttribute)     (not         (exists (?PROC)             (and                 (instance ?PROC Heating)                 (result ?PROC ?FOOD)))))	Food.kif 55-61	If raw food is an attribute of X, then there doesn't exist Y such that Y is an instance of heating and X is a result of Y
(=>     (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	If X is an instance of dry roasting, Y is an instance of food, and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of heating (3) W is an instance of stirring (4) Z is a subprocess of X (5) W is a subprocess of X (6) the time of existence of W takes place during the time of existence of Z (7) Y is a patient of Z (8) Y is a patient of W (9) there don't exist V (10) U such that V is an instance of oil (11) U is an instance of potable water (12) V is a patient of X (13) U is a patient of X holds during X
(=>     (instance ?M Microwave)     (hasPurpose ?M         (exists (?FOOD ?HEATING)             (and                 (instance ?FOOD PreparedFood)                 (instance ?HEATING Heating)                 (instrument ?HEATING ?M)                 (patient ?HEATING ?FOOD)))))	Food.kif 337-345	If X is an instance of microwave, then X has the purpose there exist Y, Z such that Y is an instance of food, Z is an instance of heating, X is an instrument for Z, and Y is a patient of Z
(=>     (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 444-454	If X is an instance of object and Y is the temperature at which X is roasted to, then there exists Z such that Z is an instance of heating and X is a patient of Z and the measure of X is Y celsius degree(s) holds during the end of the time of existence of Z
(=>     (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
(=>     (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 1168-1183	If X is an instance of foaming milk, Y is an instance of processed milk, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of heating (3) Y is a patient of Z (4) W is an instance of aerating (5) Y is a patient of W (6) V is a result of W (7) V is an instance of bubble (8) the time of existence of W takes place during the time of existence of Z
(=>     (instance ?S SoupStock)     (exists (?H)         (and             (instance ?H Heating)             (result ?H ?S))))	Food.kif 1612-1617	If X is an instance of soup stock, then there exists Y such that Y is an instance of heating and X is a result of Y
(=>     (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 2471-2483	If X is an instance of cocoa liquor, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of heating (3) Z is a patient of Y (4) Z is an instance of cocoa bean (5) dry roast is an attribute of Z (6) hulled is an attribute of Z (7) fermented is an attribute of Z (8) X is a result of Y (9) liquid is an attribute of X holds during Y
(=>     (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 2919-2928	If X is an instance of lard, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of heating (3) Z is a patient of Y (4) Z is an instance of fat tissue (5) Z is a part of W (6) W is an instance of pork (7) X is a result of Y
(=>     (instance ?T Tallow)     (exists (?H ?S)         (and             (instance ?H Heating)             (patient ?H ?S)             (instance ?S Suet)             (result ?H ?T))))	Food.kif 2950-2957	If X is an instance of tallow, then there exist Y, Z such that Y is an instance of heating, Z is a patient of Y, Z is an instance of suet, and X is a result of Y
(=>     (instance ?DEVICE CookerPad)     (hasPurpose ?DEVICE         (exists (?PAN ?FOOD ?HEATING)             (and                 (instance ?PAN PotOrPan)                 (instance ?FOOD PreparedFood)                 (instance ?HEATING Heating)                 (instrument ?HEATING ?DEVICE)                 (patient ?HEATING ?FOOD)                 (located ?FOOD ?PAN)))))	HouseholdAppliances.kif 743-753	If X is an instance of cooker pad, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of pot or pan (3) Z is an instance of food (4) W is an instance of heating (5) X is an instrument for W (6) Z is a patient of W (7) Z is located at Y
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners