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 |
![]() |
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 12726-12728 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2659-2659 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12725-12725 | Burning is a subclass of chemical decomposition |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1350-1350 | Backfire is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23451-23451 | Fire is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2563-2563 | Forest fire is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2573-2573 | Grass fire is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23577-23577 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1172-1172 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1561-1561 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 850-850 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 382-382 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 385-385 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2534-2534 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 802-802 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 387-387 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 421-421 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 680-680 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 871-871 | Incendiary device attack is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 386-386 | Incendiary device attack is a subclass of burning |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 20-25 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12730-12737 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1724-1740 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 207-217 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4180-4193 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 954-977 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 689-706 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4142-4149 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12742-12744 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6053-6060 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1681-1688 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1150-1159 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16731-16737 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1112-1124 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 57-65 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 47-55 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2402-2404 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2228-2236 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14915-14920 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17458-17469 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 447-455 |
|
![]() |
![]() |