Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Combustion
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


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