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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fire

Sigma KEE - Fire
Fire(fire)
backfire, balefire, bonfire, brush_fire, campfire, conflagration, fire, inferno, smudge, wildfire

appearance as argument number 1
-------------------------


(documentation Fire EnglishLanguage "Fire is the subclass of Combustion events in which flames are present. Fires are slower combustion processes than explosions, though some fires may include explosive episodes.") Mid-level-ontology.kif 21810-21812
(externalImage Fire "http://articulatesoftware.com/SUMOpictures/smiley/fire.png") pictureList.kif 431-431
(subclass Fire Combustion) Mid-level-ontology.kif 21809-21809 Fire is a subclass of burning

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


(subclass Arson Fire) Mid-level-ontology.kif 21814-21814 Arson is a subclass of fire
(termFormat ChineseLanguage Fire "火") domainEnglishFormat.kif 23906-23906
(termFormat ChineseTraditionalLanguage Fire "火") domainEnglishFormat.kif 23905-23905
(termFormat EnglishLanguage Fire "fire") domainEnglishFormat.kif 23904-23904

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


(=>
    (and
        (instance ?X FireAlarm)
        (attribute ?X DeviceOn)
        (located ?X ?LOC))
    (exists (?RS)
        (and
            (instance ?RS RadiatingSound)
            (instrument ?RS ?X)
            (hasPurpose ?RS
                (exists (?GRP)
                    (and
                        (instance ?GRP GroupOfPeople)
                        (located ?GRP ?LOC)
                        (knows ?GRP
                            (exists (?FIRE)
                                (and
                                    (instance ?FIRE Fire)
                                    (eventLocated ?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
(=>
    (instance ?C Candle)
    (hasPurpose ?C
        (exists (?F)
            (and
                (instance ?F Fire)
                (resource ?F ?C)))))
Mid-level-ontology.kif 3030-3036
(=>
    (instance ?FE FireExtinguisher)
    (hasPurpose ?FE
        (exists (?PROC)
            (and
                (instance ?PROC
                    (StopFn Fire))
                (instrument ?PROC ?FE)))))
Mid-level-ontology.kif 25481-25488
(=>
    (instance ?X FireSprinklerSystem)
    (exists (?FIRE ?DISCOVER ?WM)
        (and
            (instance ?DISCOVER Discovering)
            (instance ?FIRE Fire)
            (instrument ?DISCOVER ?X)
            (patient ?DISCOVER ?FIRE)
            (instance ?WM WaterMotion)
            (origin ?WM ?X)
            (causes ?DISCOVER ?WM))))
Mid-level-ontology.kif 25466-25476


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