Combustion(burning) | 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 |
(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 2660-2660 | |
(subclass Combustion ChemicalDecomposition) | Merge.kif 12617-12617 | 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 21861-21861 | Fire is a subclass of burning |
(subclass ForestFire Combustion) | Geography.kif 2405-2405 | Forest fire is a subclass of burning |
(subclass GrassFire Combustion) | Geography.kif 2415-2415 | Grass fire is a subclass of burning |
(subclass IncendiaryDeviceAttack Combustion) | Mid-level-ontology.kif 21986-21986 | Incendiary device attack is a subclass of burning |
(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 |