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 12726-12728
(externalImage Combustion "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Et_baal.jpg") pictureList.kif 2659-2659
(subclass Combustion ChemicalDecomposition) Merge.kif 12725-12725 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 23451-23451 Fire est une sous-classe de combustion
(subclass ForestFire Combustion) Geography.kif 2530-2530 ForestFire est une sous-classe de combustion
(subclass GrassFire Combustion) Geography.kif 2540-2540 GrassFire est une sous-classe de combustion
(subclass IncendiaryDeviceAttack Combustion) Mid-level-ontology.kif 23577-23577 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 12730-12737

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 4180-4193
(=>
    (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 689-706
(=>
    (attribute ?G HazardousGases)
    (and
        (instance ?G Substance)
        (attribute ?G Gas)
        (capability Combustion resource ?G)
        (capability Damaging resource ?G)
        (capability Corrosion resource ?G)))		 Transportation.kif 4142-4149
(=>
    (attribute ?X Flammable)
    (capability Combustion patient ?X))		 Merge.kif 12742-12744
(=>
    (holdsDuring ?T
        (attribute ?H BurnInjury))
    (exists (?C)
        (and
            (instance ?C Combustion)
            (located ?C ?H)
            (meetsTemporally
                (WhenFn ?C) ?T))))		 Medicine.kif 6053-6060
(=>
    (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 16731-16737
(=>
    (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 2402-2404
(=>
    (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 2228-2236
(=>
    (instance ?SMOKE Smoke)
    (exists (?BURNING)
        (and
            (instance ?BURNING Combustion)
            (result ?BURNING ?SMOKE))))		 Merge.kif 14915-14920
(=>
    (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 17458-17469
(=>
    (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