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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Fire
Fire

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 23452-23454
(externalImage Fire "http://articulatesoftware.com/SUMOpictures/smiley/fire.png") pictureList.kif 431-431
(subclass Fire Combustion) Mid-level-ontology.kif 23451-23451

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


(subclass Arson Fire) Mid-level-ontology.kif 23456-23456
(termFormat ChineseLanguage Fire "火") domainEnglishFormat.kif 23911-23911
(termFormat ChineseTraditionalLanguage Fire "火") domainEnglishFormat.kif 23910-23910
(termFormat EnglishLanguage Fire "fire") domainEnglishFormat.kif 23909-23909

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 28356-28374
(=>
    (instance ?C Candle)
    (hasPurpose ?C
        (exists (?F)
            (and
                (instance ?F Fire)
                (resource ?F ?C)))))
Mid-level-ontology.kif 3493-3499
(=>
    (instance ?FE FireExtinguisher)
    (hasPurpose ?FE
        (exists (?PROC)
            (and
                (instance ?PROC
                    (StopFn Fire))
                (instrument ?PROC ?FE)))))
Mid-level-ontology.kif 27143-27150
(=>
    (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 27128-27138


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