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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Combustion

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 12572-12574
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2660-2660
No TPTP formula. May not be expressible in strict first order. Merge.kif 12571-12571 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 21809-21809 Fire is a subclass of burning
No TPTP formula. May not be expressible in strict first order. Geography.kif 2405-2405 Forest fire is a subclass of burning
No TPTP formula. May not be expressible in strict first order. Geography.kif 2415-2415 Grass fire is a subclass of burning
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21934-21934 Incendiary device attack is a subclass of burning
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1172-1172
No TPTP formula. May not be expressible in strict first order. english_format.kif 1561-1561
No TPTP formula. May not be expressible in strict first order. french_format.kif 850-850
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 382-382
No TPTP formula. May not be expressible in strict first order. terms-it.txt 385-385
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2534-2534
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 802-802
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 387-387
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 421-421
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 871-871
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 386-386

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 12576-12583

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733
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. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Medicine.kif 698-715
No TPTP formula. May not be expressible in strict first order. Merge.kif 12588-12590
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6036-6043
No TPTP formula. May not be expressible in strict first order. Cars.kif 1674-1681
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 15358-15364
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 1939-1941
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1292-1298
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1278-1288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1765-1773
No TPTP formula. May not be expressible in strict first order. Merge.kif 14762-14767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16071-16082
No TPTP formula. May not be expressible in strict first order. Cars.kif 447-455


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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