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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 21268-21270
(externalImage Fire "http://www.adampease.org/Articulate/SUMOpictures/pictures/ smiley/ fire.png") pictureList.kif 431-431
(subclass Fire Combustion) Mid-level-ontology.kif 21267-21267 Fire is a subclass of combustion

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


(subclass Arson Fire) Mid-level-ontology.kif 21272-21272 Arson is a subclass of fire
(termFormat ChineseLanguage Fire "火") domainEnglishFormat.kif 23901-23901
(termFormat ChineseTraditionalLanguage Fire "火") domainEnglishFormat.kif 23900-23900
(termFormat EnglishLanguage Fire "fire") domainEnglishFormat.kif 23899-23899

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 25820-25838
(=>
    (instance ?C Candle)
    (hasPurpose ?C
        (exists (?F)
            (and
                (instance ?F Fire)
                (resource ?F ?C)))))
Mid-level-ontology.kif 2981-2987
(=>
    (instance ?FE FireExtinguisher)
    (hasPurpose ?FE
        (exists (?PROC)
            (and
                (instance ?PROC
                    (StopFn Fire))
                (instrument ?PROC ?FE)))))
Mid-level-ontology.kif 24835-24842
(=>
    (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 24820-24830


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