Combustion - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Combustion ChineseLanguage "这是当 Object 对氧气作出反应并释放热量的 ChemicalProcess Class，这包括所有燃烧的 Process。")	chinese_format.kif 3189-3190
(documentation Combustion EnglishLanguage "The Class of ChemicalProcesses in which an Object reacts with oxygen and gives off heat. This includes all Processes in which something is burning.")	Merge.kif 12647-12649
(externalImage Combustion "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Et_baal.jpg")	pictureList.kif 2659-2659
(subclass Combustion ChemicalDecomposition)	Merge.kif 12646-12646	Burning is a subclass of chemical decomposition

appearance as argument number 2

(subclass Backfire Combustion)	Cars.kif 1350-1350	Backfire is a subclass of burning
(subclass Fire Combustion)	Mid-level-ontology.kif 22923-22923	Fire is a subclass of burning
(subclass ForestFire Combustion)	Geography.kif 2393-2393	Forest fire is a subclass of burning
(subclass GrassFire Combustion)	Geography.kif 2403-2403	Grass fire is a subclass of burning
(subclass IncendiaryDeviceAttack Combustion)	Mid-level-ontology.kif 23048-23048	Incendiary device attack is a subclass of burning
(termFormat ChineseLanguage Combustion "燃烧")	chinese_format.kif 1172-1172	Incendiary device attack is a subclass of burning
(termFormat EnglishLanguage Combustion "burning")	english_format.kif 1561-1561	Incendiary device attack is a subclass of burning
(termFormat FrenchLanguage Combustion "combustion")	french_format.kif 850-850	Incendiary device attack is a subclass of burning
(termFormat Hindi Combustion "dahana")	terms-hindi.txt 382-382	Incendiary device attack is a subclass of burning
(termFormat ItalianLanguage Combustion "Combustione")	terms-it.txt 385-385	Incendiary device attack is a subclass of burning
(termFormat JapaneseLanguage Combustion "燃焼")	japanese_format.kif 2534-2534	Incendiary device attack is a subclass of burning
(termFormat PortugueseLanguage Combustion "Combustao")	portuguese_format.kif 802-802	Incendiary device attack is a subclass of burning
(termFormat cb Combustion "pagkasunog")	terms-cb.txt 387-387	Incendiary device attack is a subclass of burning
(termFormat cz Combustion "combustion")	terms-cz.txt 421-421	Incendiary device attack is a subclass of burning
(termFormat de Combustion "Verbrennung")	terms-de.txt 680-680	Incendiary device attack is a subclass of burning
(termFormat ro Combustion "combustie")	relations-ro.kif 871-871	Incendiary device attack is a subclass of burning
(termFormat tg Combustion "apoy")	terms-tg.txt 386-386	Incendiary device attack is a subclass of burning

antecedent

(=> (instance ?C Combustion) (exists (?O) (and (instance ?O Oxygen) (resource ?C ?O))))	Cars.kif 20-25	If a process is an instance of burning, then there exists an object such that the object is an instance of oxygen and the object is a resource for the process
(=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION))))	Merge.kif 12651-12658	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

consequent

(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	Cars.kif 1724-1740	If a corpuscular object is an instance of exhaust and the corpuscular object is made of fuel and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical has the purpose there exists an entity such that the entity is an instance of burning and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at the physical
(=> (and (instance ?F FourStrokeCombustion) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?CO) (and (instance ?CO Combustion) (subProcess ?CO ?F))))	Cars.kif 207-217	If a process is an instance of four stroke combustion and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then there exists the objectO such that the objectO is an instance of burning and the objectO is a subprocess of the process
(=> (and (instance ?G Substance) (attribute ?G OxidizingSubstance)) (exists (?R) (and (instance ?R Releasing) (patient ?R Oxygen) (capability Releasing origin ?G) (modalAttribute (exists (?C) (and (instance ?C Combustion) (causes ?R ?C))) Possibility))))	Transportation.kif 4174-4187	If an object is an instance of substance and oxidizing substance is an attribute of the object, then there exists a process such that the process is an instance of releasing and oxygen is a patient of the process and the object is capable of doing releasing as a origin and the statement there exists an entity such that the entity is an instance of burning and the process causes the entity has the modal force of possibility
(=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 954-977	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing burning as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=> (and (instance ?V ViolentContest) (patient ?V ?H) (attribute ?H (InjuryCausedFn ?PC)) (attribute ?H (ImpairedBodyPartFn Airway))) (modalAttribute (or (subclass ?PC Combustion) (exists (?FI) (and (instance ?I Injuring) (located ?I ?F) (instance ?F Face) (patient ?I ?H)))) Likely))	Medicine.kif 686-703	If a process is an instance of violent contest and an object is a patient of the process and an injury caused by another kind of process is an attribute of the object and impaired body part fn airway is an attribute of the object, then the statement another kind of process is a subclass of burning or there exists an entity such that another entity is an instance of injuring and the other entity is located at a third entity and the third entity is an instance of face and the object is a patient of the other entity has the modal force of likely
(=> (attribute ?G HazardousGases) (and (instance ?G Substance) (attribute ?G Gas) (capability Combustion resource ?G) (capability Damaging resource ?G) (capability Corrosion resource ?G)))	Transportation.kif 4136-4143	If hazardous gases is an attribute of an object, then the object is an instance of substance and gas is an attribute of the object and the object is capable of doing burning as a resource and the object is capable of doing damaging as a resource and the object is capable of doing corrosion as a resource
(=> (attribute ?X Flammable) (capability Combustion patient ?X))	Merge.kif 12663-12665	If flammable is an attribute of an object, then the object is capable of doing burning as a patient
(=> (holdsDuring ?T (attribute ?H BurnInjury)) (exists (?C) (and (instance ?C Combustion) (located ?C ?H) (meetsTemporally (WhenFn ?C) ?T))))	Medicine.kif 6022-6029	If burn injury is an attribute of an object holds during a time interval, then there exists a physical such that the physical is an instance of burning and the physical is located at the object and the time of existence of the physical meets the time interval
(=> (instance ?CH Charcoal) (exists (?C ?W) (and (instance ?C Combustion) (instance ?W Wood) (result ?C ?CH) (resource ?C ?W))))	Cars.kif 1681-1688	If an entity is an instance of charcoal, then there exist a process and an object such that the process is an instance of burning and the object is an instance of wood and the entity is a result of the process and the object is a resource for the process
(=> (instance ?E Exhaust) (exists (?S ?G ?C) (and (instance ?C Combustion) (attribute ?S Solid) (attribute ?G Gas) (part ?S ?E) (part ?G ?E) (result ?C ?E))))	Cars.kif 1150-1159	If an object is an instance of exhaust, then there exist another object, a third object and a process such that the process is an instance of burning and solid is an attribute of the other object and gas is an attribute of the third object and the other object is a part of the object and the third object is a part of the object and the object is a result of the process
(=> (instance ?F Fireplace) (hasPurpose ?F (exists (?C) (and (instance ?C Combustion) (eventLocated ?C ?F)))))	Mid-level-ontology.kif 16286-16292	If a physical is an instance of fireplace, then the physical has the purpose there exists an entity such that the entity is an instance of burning and the entity is located at the physical
(=> (instance ?FA FuelAtomizer) (hasPurpose ?FA (exists (?F ?S ?A ?C) (and (instance ?F Fuel) (instance ?S Spraying) (instance ?A Air) (instance ?C Combustion) (patient ?S ?A) (patient ?S ?F) (resource ?C ?F) (resource ?C ?A)))))	Cars.kif 1112-1124	If a physical is an instance of fuel atomizer, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of fuel and the other entity is an instance of spraying and the third entity is an instance of air and the fourth entity is an instance of burning and the third entity is a patient of the other entity and the entity is a patient of the other entity and the entity is a resource for the fourth entity and the third entity is a resource for the fourth entity
(=> (instance ?I InternalCombustionEngine) (hasPurpose ?I (exists (?C ?M ?P) (and (instance ?C Combustion) (instance ?M Motion) (part ?P ?I) (patient ?M ?P)))))	Cars.kif 57-65	If a physical is an instance of internal combustion engine, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of burning and the other entity is an instance of motion and the third entity is a part of the physical and the third entity is a patient of the other entity
(=> (instance ?I InternalCombustionEngine) (hasPurpose ?I (exists (?F ?C) (and (instance ?F Fuel) (instance ?C Combustion) (instrument ?C ?I) (resource ?C ?F)))))	Cars.kif 47-55	If a physical is an instance of internal combustion engine, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of fuel and the other entity is an instance of burning and the physical is an instrument for the other entity and the entity is a resource for the other entity
(=> (instance ?M MatchDevice) (capability (StartFn Combustion) instrument ?M))	Mid-level-ontology.kif 2005-2007	If an object is an instance of match device, then the object is capable of doing the start of burning as a instrument
(=> (instance ?MC MolotovCocktail) (exists (?LIQUID) (and (instance ?LIQUID LiquidMixture) (part ?LIQUID ?MC) (capability Combustion patient ?LIQUID))))	MilitaryDevices.kif 1292-1298	If an object is an instance of molotov cocktail, then there exists another object such that the other object is an instance of liquid mixture and the other object is a part of the object and the other object is capable of doing burning as a patient
(=> (instance ?MC MolotovCocktail) (hasPurpose ?MC (exists (?COMB ?DAMAGE ?OBJ) (and (instance ?COMB Combustion) (instance ?DAMAGE Damaging) (instrument ?COMB ?MC) (instrument ?DAMAGE ?MC) (patient ?COMB ?OBJ) (patient ?DAMAGE ?OBJ)))))	MilitaryDevices.kif 1278-1288	If a physical is an instance of molotov cocktail, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of burning and the other entity is an instance of damaging and the physical is an instrument for the entity and the physical is an instrument for the other entity and the third entity is a patient of the entity and the third entity is a patient of the other entity
(=> (instance ?R (OperatingFn InternalCombustionEngine)) (exists (?E ?C ?F) (and (instance ?E InternalCombustionEngine) (instrument ?R ?E) (hole ?C ?E) (instance ?F Combustion) (completelyFills ?F ?C))))	Mid-level-ontology.kif 1831-1839	If a process is an instance of the operating of internal combustion engine, then there exist a self connected object, a hole and an object such that the self connected object is an instance of internal combustion engine and the self connected object is an instrument for the process and the hole is a hole in the self connected object and the object is an instance of burning and the object completely fills the hole
(=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE))))	Merge.kif 14836-14841	If an entity is an instance of smoke, then there exists a process such that the process is an instance of burning and the entity is a result of the process
(=> (instance ?SMOKING Smoking) (exists (?BURN ?CIGAR ?BREATHE ?SMOKE) (and (subProcess ?BURN ?SMOKING) (instance ?BURN Combustion) (resource ?BURN ?CIGAR) (instance ?CIGAR CigarOrCigarette) (result ?BURN ?SMOKE) (patient ?BREATHE ?SMOKE) (instance ?BREATHE Breathing) (subProcess ?BREATHE ?SMOKING))))	Mid-level-ontology.kif 16999-17010	If a process is an instance of smoking, then there exist another process, an object,, , a third process and an entity such that the other process is a subprocess of the process and the other process is an instance of burning and the object is a resource for the other process and the object is an instance of cigar or cigarette and the entity is a result of the other process and the entity is a patient of the third process and the third process is an instance of breathing and the third process is a subprocess of the process
(=> (instance ?SP SparkPlug) (hasPurpose ?SP (exists (?S ?C) (and (instance ?S Spark) (instrument ?S ?SP) (instance ?C Combustion) (causes ?S ?C)))))	Cars.kif 447-455	If a physical is an instance of spark plug, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of spark and the physical is an instrument for the entity and the other entity is an instance of burning and the entity causes the other 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: