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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Combustion
Combustion(combustion)
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
-------------------------


s__documentation(s__Combustion,s__ChineseLanguage,'"这是当 Object 对氧气作出反应并释放热量的 ChemicalProcess Class,这包括所有燃烧的 Process。"')

chinese_format.kif 3189-3190
s__documentation(s__Combustion,s__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 11939-11941
s__externalImage(s__Combustion,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Et_baal.jpg"')

pictureList.kif 2661-2661
s__subclass(s__Combustion,s__ChemicalDecomposition)

s__instance(s__Combustion,s__SetOrClass)

s__instance(s__ChemicalDecomposition,s__SetOrClass)

Merge.kif 11938-11938 Combustion is a subclass of chemical decomposition

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


s__instance(s__Backfire,s__SetOrClass)

s__subclass(s__Backfire,s__Combustion)

s__instance(s__Combustion,s__SetOrClass)

Cars.kif 1350-1350 Backfire is a subclass of combustion
s__subclass(s__Fire,s__Combustion)

s__instance(s__Combustion,s__SetOrClass)

s__instance(s__Fire,s__SetOrClass)

Mid-level-ontology.kif 20586-20586 Fire is a subclass of combustion
s__subclass(s__ForestFire,s__Combustion)

s__instance(s__Combustion,s__SetOrClass)

s__instance(s__ForestFire,s__SetOrClass)

Geography.kif 2367-2367 Forest fire is a subclass of combustion
s__instance(s__GrassFire,s__SetOrClass)

s__instance(s__Combustion,s__SetOrClass)

s__subclass(s__GrassFire,s__Combustion)

Geography.kif 2377-2377 Grass fire is a subclass of combustion
s__subclass(s__IncendiaryDeviceAttack,s__Combustion)

s__instance(s__Combustion,s__SetOrClass)

s__instance(s__IncendiaryDeviceAttack,s__SetOrClass)

Mid-level-ontology.kif 20709-20709 Incendiary device attack is a subclass of combustion
s__termFormat(s__ChineseLanguage,s__Combustion,'"燃烧"')

chinese_format.kif 1172-1172
s__termFormat(s__EnglishLanguage,s__Combustion,'"combustion"')

english_format.kif 1566-1566

antecedent
-------------------------


( ! [V__C] :
   ((s__instance(V__C,s__Combustion) =>
       (( ? [V__O] :
           ((s__instance(V__O,s__Oxygen) &
               s__resource(V__C,V__O))))))
   )
)

Cars.kif 20-25
( ! [V__COMBUSTION] :
   ((s__instance(V__COMBUSTION,s__Combustion) =>
       (( ? [V__HEAT, V__LIGHT] :
           ((s__instance(V__HEAT,s__Heating) &
               s__instance(V__LIGHT,s__RadiatingLight) &
               s__subProcess(V__HEAT,V__COMBUSTION)
             &
             s__subProcess(V__LIGHT,V__COMBUSTION))))))
)
)

Merge.kif 11943-11950

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733
( ! [V__C,V__F,V__I] :
   (((s__instance(V__F,s__FourStrokeCombustion) &
         s__instance(V__C,s__EngineCylinder) &
         s__instance(V__I,s__InternalCombustionChamber) &
         (V__C = s__HoleHostFn(V__I))
       &
       s__eventLocated(V__F,V__C))
   =>
   (( ? [V__CO] :
       ((s__instance(V__CO,s__Combustion) &
           s__subProcess(V__CO,V__F))))))
)
)

Cars.kif 207-217
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Utilities))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   ((s__instance(V__EV,s__Removing) |
                       s__instance(V__THING,s__Sewage))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   (s__instance(V__THING,s__Electron) |
                     s__instance(V__THING,s__Water) |
                     (s__instance(V__THING,s__PureSubstance) &
                       s__capability(s__Combustion,s__patient__m,V__THING)))
                 &
                 s__member(V__MEM2,V__ORG)
               &
               s__instance(V__EV2,s__FinancialTransaction) &
               s__agent(V__EV2,V__MEM2)
             &
             s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 954-977
( ! [V__X] :
   ((s__instance(V__X,s__Object) =>
       ((s__attribute(V__X,s__Flammable) =>
           (s__capability(s__Combustion,s__patient__m,V__X)))))
   )
)

Merge.kif 11955-11957
( ! [V__CH] :
   ((s__instance(V__CH,s__Charcoal) =>
       (( ? [V__C, V__W] :
           ((s__instance(V__C,s__Class) &
               s__instance(V__C,s__Process) &
               (s__subclass(V__C,s__Combustion) &
                 s__instance(V__W,s__Wood) &
                 s__result(V__C,V__CH)
               &
               s__resource(V__C,V__W)))))))
)
)

Cars.kif 1674-1681
( ! [V__E] :
   ((s__instance(V__E,s__Exhaust) =>
       (( ? [V__S, V__G, V__C] :
           ((s__instance(V__S,s__Object) &
               s__instance(V__G,s__Object) &
               (s__instance(V__C,s__Combustion) &
                 s__attribute(V__S,s__Solid) &
                 s__attribute(V__G,s__Gas) &
                 s__part(V__S,V__E)
               &
               s__part(V__G,V__E)
             &
             s__result(V__C,V__E)))))))
)
)

Cars.kif 1150-1159
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14174-14180
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
( ! [V__M] :
   ((s__instance(V__M,s__MatchDevice) =>
       (s__capability(s__StartFn(s__Combustion),s__instrument__m,V__M)))
   )
)

Mid-level-ontology.kif 1876-1878
( ! [V__MC] :
   ((s__instance(V__MC,s__MolotovCocktail) =>
       (( ? [V__LIQUID] :
           ((s__instance(V__LIQUID,s__LiquidMixture) &
               s__part(V__LIQUID,V__MC)
             &
             s__capability(s__Combustion,s__patient__m,V__LIQUID))))))
)
)

MilitaryDevices.kif 1292-1298
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1278-1288
( ! [V__R] :
   ((s__instance(V__R,s__Process) =>
       ((s__instance(V__R,s__OperatingFn(s__InternalCombustionEngine))
         =>
         (( ? [V__E, V__C, V__F] :
             ((s__instance(V__C,s__Hole) &
                 (s__instance(V__E,s__InternalCombustionEngine) &
                   s__instrument(V__R,V__E)
                 &
                 s__hole(V__C,V__E)
               &
               s__instance(V__F,s__Combustion) &
               s__completelyFills(V__F,V__C)))))))))
)
)

Mid-level-ontology.kif 1702-1710
( ! [V__SMOKE] :
   ((s__instance(V__SMOKE,s__Smoke) =>
       (( ? [V__BURNING] :
           ((s__instance(V__BURNING,s__Combustion) &
               s__result(V__BURNING,V__SMOKE))))))
   )
)

Merge.kif 14065-14070
( ! [V__SMOKING] :
   ((s__instance(V__SMOKING,s__Smoking) =>
       (( ? [V__BURN, V__CIGAR, V__BREATHE, V__SMOKE] :
           ((s__subProcess(V__BURN,V__SMOKING)
             &
             s__instance(V__BURN,s__Combustion) &
             s__resource(V__BURN,V__CIGAR)
           &
           s__instance(V__CIGAR,s__CigarOrCigarette) &
           s__result(V__BURN,V__SMOKE)
         &
         s__patient(V__BREATHE,V__SMOKE)
       &
       s__instance(V__BREATHE,s__Breathing) &
       s__subProcess(V__BREATHE,V__SMOKING))))))
)
)

Mid-level-ontology.kif 14868-14879
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