Combustion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Combustion

Combustion(combustion)

ablaze, afire, aflame, aflare, alight, backfire, blackened, blaze, blaze_up, blazing, blow_out, burn, burn_down, burn_off, burn_up, burned, burning, burnt, catch, catch_fire, char, coal, combust, combustion, conflagrate, cremate, cremation, deflagrate, deflagration, enkindle, enkindled, erupt, extinct, fire, firestorm, firing, flame, flame_up, flaming, flare, flare_up, glow, go_up, gutter, ignite, ignited, ignition, incinerate, incineration, inflame...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3189-3190
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11680-11682
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2661-2661
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11679-11679	Combustion is a subclass of chemical decomposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1364-1364	Backfire is a subclass of combustion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18282-18282	Fire is a subclass of combustion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2367-2367	Forest fire is a subclass of combustion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2377-2377	Grass fire is a subclass of combustion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18405-18405	Incendiary device attack is a subclass of combustion
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1172-1172
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1566-1566

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 20-25	If a process is an instance of combustion, then there exists an object such that the object is an instance of oxygen and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11684-11691	If a process is an instance of combustion, 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

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1731-1747	If a corpuscular object is an instance of exhaust and fuel is made of the corpuscular object 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 combustion 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 2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 207-217	If a process is an instance of four stroke combustion and an object is an instance of EngineCylinder 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 2, then there exists the objectO such that the objectO is an instance of combustion and the objectO is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	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 an object such that the object is a member of the collection and the agent is an agent of the object and there exist another object, the object2 and the agent2 such that the agent is an instance of removing or the other object is an instance of sewage and the other object is a patient of the agent and the other object is an instance of electron or the other object is an instance of water or the other object is an instance of pure substance and the other object is capable of doing combustion as a patient and the object2 is a member of the collection and the agent2 is an instance of financial transaction and the object2 is an agent of the agent2 and the other object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11696-11698	If flammable is an attribute of an object, then the object is capable of doing combustion as a patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1688-1695	If an entity is an instance of Charcoal, then there exist a class and an object such that the class is a subclass of combustion and the object is an instance of wood and the entity is a result of the class and the object is a resource for the class
No TPTP formula. May not be expressible in strict first order.	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 combustion 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12090-12096	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 combustion and the entity is located at 2
No TPTP formula. May not be expressible in strict first order.	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 combustion 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
No TPTP formula. May not be expressible in strict first order.	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 combustion 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
No TPTP formula. May not be expressible in strict first order.	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 combustion and the physical is an instrument for the other entity and the entity is a resource for the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1876-1878	If an object is an instance of match device, then the object is capable of doing the start of combustion as a instrument
No TPTP formula. May not be expressible in strict first order.	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 combustion as a patient
No TPTP formula. May not be expressible in strict first order.	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 combustion 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1702-1710	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 combustion and the object completely fills the hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13750-13755	If an entity is an instance of smoke, then there exists a process such that the process is an instance of combustion and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12777-12788	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 combustion 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
No TPTP formula. May not be expressible in strict first order.	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 combustion 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