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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Combustion
Combustion(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 12677-12679
(externalImage Combustion "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Et_baal.jpg") pictureList.kif 2659-2659
(subclass Combustion ChemicalDecomposition) Merge.kif 12676-12676 Combustion est une sous-classe de d�composition chemical

appearance as argument number 2
-------------------------


(subclass Backfire Combustion) Cars.kif 1350-1350 Backfire est une sous-classe de combustion
(subclass Fire Combustion) Mid-level-ontology.kif 23458-23458 Fire est une sous-classe de combustion
(subclass ForestFire Combustion) Geography.kif 2393-2393 ForestFire est une sous-classe de combustion
(subclass GrassFire Combustion) Geography.kif 2403-2403 GrassFire est une sous-classe de combustion
(subclass IncendiaryDeviceAttack Combustion) Mid-level-ontology.kif 23583-23583 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat ChineseLanguage Combustion "燃烧") chinese_format.kif 1172-1172 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat EnglishLanguage Combustion "burning") english_format.kif 1561-1561 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat FrenchLanguage Combustion "combustion") french_format.kif 850-850 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat Hindi Combustion "dahana") terms-hindi.txt 382-382 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat ItalianLanguage Combustion "Combustione") terms-it.txt 385-385 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat JapaneseLanguage Combustion "燃焼") japanese_format.kif 2534-2534 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat PortugueseLanguage Combustion "Combustao") portuguese_format.kif 802-802 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat cb Combustion "pagkasunog") terms-cb.txt 387-387 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat cz Combustion "combustion") terms-cz.txt 421-421 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat de Combustion "Verbrennung") terms-de.txt 680-680 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat ro Combustion "combustie") relations-ro.kif 871-871 IncendiaryDeviceAttack est une sous-classe de combustion
(termFormat tg Combustion "apoy") terms-tg.txt 386-386 IncendiaryDeviceAttack est une sous-classe de combustion

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 12681-12688

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 1724-1740
(=>
    (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 ?G Substance)
        (attribute ?G OxidizingSubstance))
    (exists (?R)
        (and
            (instance ?R Releasing)
            (patient ?R Oxygen)
            (capability Releasing origin ?G)
            (modalAttribute
                (exists (?C)
                    (and
                        (instance ?C Combustion)
                        (causes ?R ?C))) Possibility))))		 Transportation.kif 4174-4187
(=>
    (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 686-703
(=>
    (attribute ?G HazardousGases)
    (and
        (instance ?G Substance)
        (attribute ?G Gas)
        (capability Combustion resource ?G)
        (capability Damaging resource ?G)
        (capability Corrosion resource ?G)))		 Transportation.kif 4136-4143
(=>
    (attribute ?X Flammable)
    (capability Combustion patient ?X))		 Merge.kif 12693-12695
(=>
    (holdsDuring ?T
        (attribute ?H BurnInjury))
    (exists (?C)
        (and
            (instance ?C Combustion)
            (located ?C ?H)
            (meetsTemporally
                (WhenFn ?C) ?T))))		 Medicine.kif 6019-6026
(=>
    (instance ?CH Charcoal)
    (exists (?C ?W)
        (and
            (instance ?C Combustion)
            (instance ?W Wood)
            (result ?C ?CH)
            (resource ?C ?W))))		 Cars.kif 1681-1688
(=>
    (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 16739-16745
(=>
    (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 2408-2410
(=>
    (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 2234-2242
(=>
    (instance ?SMOKE Smoke)
    (exists (?BURNING)
        (and
            (instance ?BURNING Combustion)
            (result ?BURNING ?SMOKE))))		 Merge.kif 14866-14871
(=>
    (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 17468-17479
(=>
    (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


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