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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Combustion

Sigma KEE - 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 11983-11985
(externalImage Combustion "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Et_baal.jpg") pictureList.kif 2661-2661
(subclass Combustion ChemicalDecomposition) Merge.kif 11982-11982

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


(subclass Backfire Combustion) Cars.kif 1350-1350
(subclass Fire Combustion) Mid-level-ontology.kif 21122-21122
(subclass ForestFire Combustion) Geography.kif 2367-2367
(subclass GrassFire Combustion) Geography.kif 2377-2377
(subclass IncendiaryDeviceAttack Combustion) Mid-level-ontology.kif 21245-21245
(termFormat ChineseLanguage Combustion "燃烧") chinese_format.kif 1172-1172
(termFormat EnglishLanguage Combustion "combustion") english_format.kif 1561-1561

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 11987-11994

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 1717-1733
(=>
    (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 ?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
(=>
    (attribute ?X Flammable)
    (capability Combustion patient ?X))
Merge.kif 11999-12001
(=>
    (instance ?CH Charcoal)
    (exists (?C ?W)
        (and
            (subclass ?C Combustion)
            (instance ?W Wood)
            (result ?C ?CH)
            (resource ?C ?W))))
Cars.kif 1674-1681
(=>
    (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 14657-14663
(=>
    (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 1877-1879
(=>
    (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 1703-1711
(=>
    (instance ?SMOKE Smoke)
    (exists (?BURNING)
        (and
            (instance ?BURNING Combustion)
            (result ?BURNING ?SMOKE))))
Merge.kif 14119-14124
(=>
    (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 15351-15362
(=>
    (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 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