| Combustion
| |
| 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 12618-12620 | |
| (externalImage Combustion "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Et_baal.jpg") | pictureList.kif 2659-2659 | |
| (subclass Combustion ChemicalDecomposition) | Merge.kif 12617-12617 |
| appearance as argument number 2 |
|
|
| (subclass Backfire Combustion) | Cars.kif 1350-1350 | |
| (subclass Fire Combustion) | Mid-level-ontology.kif 22092-22092 | |
| (subclass ForestFire Combustion) | Geography.kif 2405-2405 | |
| (subclass GrassFire Combustion) | Geography.kif 2415-2415 | |
| (subclass IncendiaryDeviceAttack Combustion) | Mid-level-ontology.kif 22217-22217 | |
| (termFormat ChineseLanguage Combustion "燃烧") | chinese_format.kif 1172-1172 | |
| (termFormat EnglishLanguage Combustion "burning") | english_format.kif 1561-1561 | |
| (termFormat FrenchLanguage Combustion "combustion") | french_format.kif 850-850 | |
| (termFormat Hindi Combustion "dahana") | terms-hindi.txt 382-382 | |
| (termFormat ItalianLanguage Combustion "Combustione") | terms-it.txt 385-385 | |
| (termFormat JapaneseLanguage Combustion "燃焼") | japanese_format.kif 2534-2534 | |
| (termFormat PortugueseLanguage Combustion "Combustao") | portuguese_format.kif 802-802 | |
| (termFormat cb Combustion "pagkasunog") | terms-cb.txt 387-387 | |
| (termFormat cz Combustion "combustion") | terms-cz.txt 421-421 | |
| (termFormat ro Combustion "combustie") | relations-ro.kif 871-871 | |
| (termFormat tg Combustion "apoy") | terms-tg.txt 386-386 |
| antecedent |
|
|
| (=> (instance ?C Combustion) (exists (?O) (and (instance ?O Oxygen) (resource ?C ?O)))) |
Cars.kif 20-25 | |
| (=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION)))) |
Merge.kif 12622-12629 |
| 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 1723-1739 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 698-715 | |
| (=> (attribute ?X Flammable) (capability Combustion patient ?X)) |
Merge.kif 12634-12636 | |
| (=> (holdsDuring ?T (attribute ?H BurnInjury)) (exists (?C) (and (instance ?C Combustion) (located ?C ?H) (meetsTemporally (WhenFn ?C) ?T)))) |
Medicine.kif 6036-6043 | |
| (=> (instance ?CH Charcoal) (exists (?C ?W) (and (instance ?C Combustion) (instance ?W Wood) (result ?C ?CH) (resource ?C ?W)))) |
Cars.kif 1680-1687 | |
| (=> (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 | |
| (=> (instance ?F Fireplace) (hasPurpose ?F (exists (?C) (and (instance ?C Combustion) (eventLocated ?C ?F))))) |
Mid-level-ontology.kif 15576-15582 | |
| (=> (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 | |
| (=> (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 ?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 ?M MatchDevice) (capability (StartFn Combustion) instrument ?M)) |
Mid-level-ontology.kif 1932-1934 | |
| (=> (instance ?MC MolotovCocktail) (exists (?LIQUID) (and (instance ?LIQUID LiquidMixture) (part ?LIQUID ?MC) (capability Combustion patient ?LIQUID)))) |
MilitaryDevices.kif 1292-1298 | |
| (=> (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 ?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 1758-1766 | |
| (=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE)))) |
Merge.kif 14808-14813 | |
| (=> (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 16289-16300 | |
| (=> (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 |
|
|
|