Heating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11038-11038	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2985-2986	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11040-11041	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1745-1746	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10044-10044	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11128-11128	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11129-11129	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11131-11131	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11127-11127	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11132-11132	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11123-11123	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11130-11130	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11122-11122	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11124-11124	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11125-11125	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11126-11126	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11037-11037	Heating is a subclass of increasing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1464-1464	Baking is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	Food.kif 122-122	Dry roasting is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	Food.kif 784-784	Espresso making is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	Food.kif 1176-1176	Foaming milk is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	Food.kif 2574-2574	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1110-1110	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1437-1437	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	french_format.kif 788-788	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 320-320	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 323-323	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2472-2472	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 740-740	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 325-325	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 359-359	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 618-618	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 809-809	Frying is a subclass of heating
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 324-324	Frying is a subclass of heating

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1208-1217	If a process is an instance of foaming milk and a physical is a patient of the process and the physical is an instance of processed milk and another process is an instance of heating and the other process is a subprocess of the process and the measure of the physical is a real number celsius degree(s), then the approximate value of the real number is 70.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11043-11056	If a process is an instance of heating and an entity is a patient of the process, then there exist another entity, a real number and another real number such that the other entity is an instance of temperature measure and the entity the other entity(s) is equal to the real number holds during the beginning of the time of existence of the process and the entity the other entity(s) is equal to the other real number holds during the end of the time of existence of the process and the other real number is greater than the real number

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 468-478	If a food is an instance of object and a real number is the temperature at which the food is roasted to, 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 celsius degree(s) holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1191-1206	If a process is an instance of foaming milk and an entity is an instance of processed milk 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26928-26939	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 iron and the processRON is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26916-26926	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	If a process is an instance of dry roasting 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 potable water and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26969-26979	If an object is an instance of hot tub 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
No TPTP formula. May not be expressible in strict first order.	Food.kif 37-44	If cooked 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
No TPTP formula. May not be expressible in strict first order.	Food.kif 55-61	If raw food 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6372-6381	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14064-14069	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12715-12722	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2772-2778	If a physical is an instance of heating device, 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2431-2436	If a process is an instance of volcanic eruption, 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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5504-5518	If a physical is an instance of heat sealer, 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 prepared food 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14043-14048	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3323-3338	If a physical is an instance of manifold heat control valve, 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 fuel vapor 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
No TPTP formula. May not be expressible in strict first order.	Food.kif 1632-1637	If an entity is an instance of soup stock, then there exists a process such that the process is an instance of heating and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 2456-2468	If an entity is an instance of cocoa liquor, 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 cocoa bean and dry roast is an attribute of the object and hulled is an attribute of the object and fermented 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28745-28755	If a physical is an instance of room heater, 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27562-27570	If a physical is an instance of water heater, 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

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: