consequent

(=>     (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	If a Food is an instance of object and roastedToTemperature the Food and a real number, then there exists a process such that the process is an instance of heating and the Food is a patient of the process and the measure of the Food is the real number CelsiusDegree(s) holds during the end of the time of existence of the process
(=>     (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	If a process is an instance of FoamingMilk and an entity is an instance of ProcessedMilk and the entity is a patient of the process, then there exist another process, a third process and another entity such that the other process is an instance of heating and the entity is a patient of the other process and the third process is an instance of Aerating and the entity is a patient of the third process and the other entity is a result of the third process and the other entity is an instance of Bubble and the time of existence of the third process takes place during the time of existence of the other process
(=>     (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 26917-26928	If a process is an instance of Ironing and an object is a patient of the process and another object is a part of the object and the other object is an instance of fabric, then there exist the processRON and another process such that the other process is an instance of heating and the processRON is a patient of the other process and the processRON is an instance of FabricIron and the processRON is an instrument for the process
(=>     (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 26905-26915	If a process is an instance of Ironing and an object is a patient of the process, then there exist another process, the processRON and a third object such that the third object is a superficial part of the object and the other process is an instance of heating and the processRON is a patient of the other process and the third object is a patient of the process and the processRON is an instrument for the process
(=>     (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 a process is an instance of DryRoasting and an entity is an instance of Food and the entity is a patient of the process, then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of Stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of Oil and the fifth entity is an instance of DrinkingWater and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process
(=>     (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 26958-26968	If an object is an instance of HotTub and a physical is located at the object and the physical is an instance of water, then the statement there exists an entity such that the entity is an instance of heating and the object is an instrument for the entity and the physical is a patient of the entity has the modal force of Possibility
(=>     (attribute ?FOOD CookedAttribute)     (exists (?PROC1 ?PROC2)         (and             (instance ?PROC1 Cooking)             (instance ?PROC2 Heating)             (subProcess ?PROC2 ?PROC1)             (result ?PROC1 ?FOOD))))	Food.kif 37-44	If CookedAttribute is an attribute of an object, then there exist a process and another process such that the process is an instance of cooking and the other process is an instance of heating and the other process is a subprocess of the process and the object is a result of the process
(=>     (attribute ?FOOD RawAttribute)     (not         (exists (?PROC)             (and                 (instance ?PROC Heating)                 (result ?PROC ?FOOD)))))	Food.kif 55-61	If RawAttribute is an attribute of an object, then there doesn't exist a process such that the process is an instance of heating and the object is a result of the process
(=>     (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 6368-6377	If a physical is an instance of Blanket, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of heating and the other entity is a patient of the entity and the other entity is an instance of human and the other entity is located at the third entity and the third entity is an instance of Bed
(=>     (instance ?BOIL Boiling)     (exists (?HEAT)         (and             (instance ?HEAT Heating)             (subProcess ?HEAT ?BOIL))))	Merge.kif 14101-14106	If a process is an instance of boiling, then there exists another process such that the other process is an instance of heating and the other process is a subprocess of the process
(=>     (instance ?COMBUSTION Combustion)     (exists (?HEAT ?LIGHT)         (and             (instance ?HEAT Heating)             (instance ?LIGHT RadiatingLight)             (subProcess ?HEAT ?COMBUSTION)             (subProcess ?LIGHT ?COMBUSTION))))	Merge.kif 12752-12759	If a process is an instance of burning, then there exist another process and a third process such that the other process is an instance of heating and the third process is an instance of radiating light and the other process is a subprocess of the process and the third process is a subprocess of the process
(=>     (instance ?D HeatingDevice)     (hasPurpose ?D         (exists (?H)             (and                 (instance ?H Heating)                 (instrument ?H ?D)))))	Mid-level-ontology.kif 2772-2778	If a physical is an instance of HeatingDevice, then the physical has the purpose there exists an entity such that the entity is an instance of heating and the physical is an instrument for the entity
(=>     (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 EspressoMaking, 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 approximateValue the third entity and 0.03 and the measure of the other entity is the fourth entity CelsiusDegree(s) and approximateValue the fourth entity and 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of LiquidMotion 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 approximateValue the sixth entity and 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 approximateValue the eighth entity and 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of CoffeeGrind and FineGrind 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 3911-3916	If a process is an instance of VolcanicEruption, then there exists another process such that the other process is an instance of heating and the other process is a subprocess of the process
(=>     (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 5499-5513	If a physical is an instance of HeatSealer, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of Container and the other entity is an instance of Plastic and the entity is an instance of Closing and the fourth entity is an instance of heating and the physical is an instrument for the entity and the other entity is an instrument for the entity and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity and the entity is a result of the fourth entity and the third entity is a patient of the entity
(=>     (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	If an entity is an instance of Lard, then there exist a process, an object and another object such that the process is an instance of heating and the object is a patient of the process and the object is an instance of fat tissue and the object is a part of the other object and the other object is an instance of Pork and the entity is a result of the process
(=>     (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	If a physical is an instance of Microwave, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of PreparedFood and the other entity is an instance of heating and the physical is an instrument for the other entity and the entity is a patient of the other entity
(=>     (instance ?MELT Melting)     (exists (?HEAT)         (and             (instance ?HEAT Heating)             (subProcess ?HEAT ?MELT))))	Merge.kif 14080-14085	If a process is an instance of melting, then there exists another process such that the other process is an instance of heating and the other process is a subprocess of the process
(=>     (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	If a physical is an instance of ManifoldHeatControlValve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of heating and the other entity is an instance of Opening and the third entity is an instance of Exhaust and the fifth entity is an instance of transfer and the fourth entity is an instance of FuelVapor and the physical is a patient of the other entity and the third entity is an instrument for the entity and the fourth entity is a patient of the entity and the physical is path along which the fifth entity occurs and the other entity causes the fifth entity and the fifth entity causes the entity
(=>     (instance ?S SoupStock)     (exists (?H)         (and             (instance ?H Heating)             (result ?H ?S))))	Food.kif 1632-1637	If an entity is an instance of SoupStock, then there exists a process such that the process is an instance of heating and the entity is a result of the process
(=>     (instance ?T Tallow)     (exists (?H ?S)         (and             (instance ?H Heating)             (patient ?H ?S)             (instance ?S Suet)             (result ?H ?T))))	Food.kif 2928-2935	If an entity is an instance of Tallow, then there exist a process and another entity such that the process is an instance of heating and the other entity is a patient of the process and the other entity is an instance of Suet and the entity is a result of the process
(=>     (instance ?W ValleyBreeze)     (exists (?BOTTOM ?A ?H ?AIR ?M)         (and             (origin ?W ?BOTTOM)             (bottom ?BOTTOM ?A)             (instance ?A SlopedArea)             (instance ?H Heating)             (patient ?H ?AIR)             (orientation ?AIR ?BOTTOM Above)             (causes ?H ?M)             (instance ?M MotionUpward)             (subProcess ?M ?W))))	Weather.kif 2606-2618	If a process is an instance of ValleyBreeze, then there exist a self connected object, another self connected object,, , another process,, , the other self connected objectIR and a third process such that the process originates at the self connected object and the bottom of the other self connected object is the self connected object and the other self connected object is an instance of SlopedArea and the other process is an instance of heating and the other self connected objectIR is a patient of the other process and the other self connected objectIR is Above to the self connected object and the other process causes the third process and the third process is an instance of MotionUpward and the third process is a subprocess of the process
(=>     (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	If an entity is an instance of CocoaLiquor, then there exist a process and an object such that the process is an instance of heating and the object is a patient of the process and the object is an instance of CocoaBean and DryRoastAttribute is an attribute of the object and HulledAttribute is an attribute of the object and FermentedAttribute is an attribute of the object and the entity is a result of the process and Liquid is an attribute of the entity holds during the process
(=>     (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 28729-28739	If a physical is an instance of RoomHeater, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of Air and the third entity is an instance of room and the entity is located at the third entity and the other entity is an instance of heating and the entity is a patient of the other entity and the physical is an instrument for the other entity
(=>     (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 27551-27559	If a physical is an instance of WaterHeater, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of heating and the other entity is an instance of FreshWater and the other entity is a patient of the entity and the physical is an instrument for the entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners