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

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


(subclass Arson Fire) Mid-level-ontology.kif 19602-19602 Arson is a subclass of fire
(termFormat ChineseLanguage Fire "火") domainEnglishFormat.kif 23839-23839 "火" is the printable form of fire in ChineseLanguage
(termFormat ChineseTraditionalLanguage Fire "火") domainEnglishFormat.kif 23838-23838 "火" is the printable form of fire in ChineseTraditionalLanguage
(termFormat EnglishLanguage Fire "fire") domainEnglishFormat.kif 23837-23837 "fire" is the printable form of fire in english language

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 24564-24582
(=>
    (instance ?C Candle)
    (hasPurpose ?C
        (exists (?F)
            (and
                (instance ?F Fire)
                (resource ?F ?C)))))
Mid-level-ontology.kif 3567-3573
(=>
    (instance ?FE FireExtinguisher)
    (hasPurpose ?FE
        (exists (?PROC)
            (and
                (instance ?PROC
                    (StopFn Fire))
                (instrument ?PROC ?FE)))))
Mid-level-ontology.kif 23393-23400
(=>
    (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 23379-23389


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners