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

VerbNet: light_emission-43.1|flare, entity_specific_cos-45.5|burn, light_emission-43.1|flare, other_cos-45.4|ignite, other_cos-45.4|char, other_cos-45.4|char, other_cos-45.4|combust, other_cos-45.4|kindle, other_cos-45.4|kindle, other_cos-45.4|ignite, light_emission-43.1|flame, light_emission-43.1|flare, light_emission-43.1|flare, entity_specific_cos-45.5|burn, other_cos-45.4|ignite, other_cos-45.4|kindle, other_cos-45.4|kindle, remedy-45.7|light, build-26.1|make, other_cos-45.4|rekindle, hurt-40.8.3|scald, sound_emission-43.2|sizzle, entity_specific_modes_being-47.2|smolder, entity_specific_modes_being-47.2|smolder, remedy-45.7|singe, other_cos-45.4|ignite,

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 11615-11617
(externalImage Combustion "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Et_baal.jpg")	pictureList.kif 2661-2661
(subclass Combustion ChemicalDecomposition)	Merge.kif 11614-11614	subclass Combustion and ChemicalDecomposition

appearance as argument number 2

(subclass Backfire Combustion)	Cars.kif 1346-1346	subclass Backfire and Combustion
(subclass Fire Combustion)	Mid-level-ontology.kif 19607-19607	subclass Fire and Combustion
(subclass ForestFire Combustion)	Geography.kif 2346-2346	subclass ForestFire and Combustion
(subclass GrassFire Combustion)	Geography.kif 2356-2356	subclass GrassFire and Combustion
(subclass IncendiaryDeviceAttack Combustion)	Mid-level-ontology.kif 19732-19732	subclass IncendiaryDeviceAttack and Combustion
(termFormat ChineseLanguage Combustion "燃烧")	chinese_format.kif 1172-1172
(termFormat EnglishLanguage Combustion "combustion")	english_format.kif 1566-1566

antecedent

(=> (instance ?C Combustion) (exists (?O) (and (instance ?O Oxygen) (resource ?C ?O))))	Cars.kif 20-25	instance Process and Combustion Object instance Object and Oxygen resource Process and Object
(=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION))))	Merge.kif 11619-11626	instance Process and Combustion Process Process instance Process and Heating instance Process and RadiatingLight subProcess Process and Process subProcess Process and 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 1713-1729	instance CorpuscularObject and Exhaust material Fuel and CorpuscularObject instance Transfer and Transfer instance CorpuscularObjectNG and Engine origin Transfer and CorpuscularObjectNG instance Physical and CatalyticConverter destination Transfer and Physical objectTransferred Transfer and CorpuscularObject hasPurpose Physical and entity instance entity and Combustion instrument entity and Physical patient entity and CorpuscularObject eventLocated entity and 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	instance Process and FourStrokeCombustion instance Object and EngineCylinder instance Hole and InternalCombustionChamber equal Object and HoleHostFn Hole eventLocated Process and Object ObjectO instance ObjectO and Combustion subProcess ObjectO and Process
(=> (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	instance Collection and Organization attribute Collection and Utilities Agent Object member Object and Collection agent Object and Agent Object Object and Agent instance Agent and Removing instance Object and Sewage patient Agent and Object instance Object and Electron instance Object and Water instance Object and PureSubstance capability Combustion, patient and Object member Object and Collection instance Agent and FinancialTransaction agent Agent and Object patient Agent and Object
(=> (attribute ?X Flammable) (capability Combustion patient ?X))	Merge.kif 11631-11633	attribute Object and Flammable capability Combustion, patient and Object
(=> (instance ?CH Charcoal) (exists (?C ?W) (and (subclass ?C Combustion) (instance ?W Wood) (result ?C ?CH) (resource ?C ?W))))	Cars.kif 1670-1677	instance Entity and Charcoal Process Object subclass Process and Combustion instance Object and Wood result Process and Entity resource Process and Object
(=> (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 1141-1150	instance Object and Exhaust Object Object and Process instance Process and Combustion attribute Object and Solid attribute Object and Gas part Object and Object part Object and Object result Process and Object
(=> (instance ?F Fireplace) (hasPurpose ?F (exists (?C) (and (instance ?C Combustion) (eventLocated ?C ?F)))))	Mid-level-ontology.kif 13043-13049	instance Physical and Fireplace hasPurpose Physical and entity instance entity and Combustion eventLocated entity and 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 1103-1115	instance Physical and FuelAtomizer hasPurpose Physical and entity entity, entity and entity instance entity and Fuel instance entity and Spraying instance entity and Air instance entity and Combustion patient entity and entity patient entity and entity resource entity and entity resource entity and 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	instance Physical and InternalCombustionEngine hasPurpose Physical and entity entity and entity instance entity and Combustion instance entity and Motion part entity and Physical patient entity and 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	instance Physical and InternalCombustionEngine hasPurpose Physical and entity entity instance entity and Fuel instance entity and Combustion instrument entity and Physical resource entity and entity
(=> (instance ?M MatchDevice) (capability (StartFn Combustion) instrument ?M))	Mid-level-ontology.kif 2394-2396	instance Object and MatchDevice capability StartFn Combustion, instrument and Object
(=> (instance ?MC MolotovCocktail) (exists (?LIQUID) (and (instance ?LIQUID LiquidMixture) (part ?LIQUID ?MC) (capability Combustion patient ?LIQUID))))	MilitaryDevices.kif 1292-1298	instance Object and MolotovCocktail Object instance Object and LiquidMixture part Object and Object capability Combustion, patient and Object
(=> (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	instance Physical and MolotovCocktail hasPurpose Physical and entity entity and entity instance entity and Combustion instance entity and Damaging instrument entity and Physical instrument entity and Physical patient entity and entity patient entity and 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 2178-2186	instance Process and OperatingFn InternalCombustionEngine SelfConnectedObject Hole and Object instance SelfConnectedObject and InternalCombustionEngine instrument Process and SelfConnectedObject hole Hole and SelfConnectedObject instance Object and Combustion completelyFills Object and Hole
(=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE))))	Merge.kif 13688-13693	instance Entity and Smoke Process instance Process and Combustion result Process and Entity
(=> (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 13725-13736	instance Process and Smoking Process Object, Process and Entity subProcess Process and Process instance Process and Combustion resource Process and Object instance Object and CigarOrCigarette result Process and Entity patient Process and Entity instance Process and Breathing subProcess Process and 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	instance Physical and SparkPlug hasPurpose Physical and entity entity instance entity and Spark instrument entity and Physical instance entity and Combustion causes entity and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners