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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fireplace
Fireplace(fireplace)
fire, fireplace, hearth, hearthstone, open_fireplace

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


(documentation Fireplace EnglishLanguage "A Device in a Building which is used for burning wood, coal, etc for heat.") Mid-level-ontology.kif 16283-16284
(externalImage Fireplace "http://articulatesoftware.com/SUMOpictures/household/ living_room/ fireplace.png") pictureList.kif 432-432
(externalImage Fireplace "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ The_fireplace_RS.jpg") pictureList.kif 2818-2818
(subclass Fireplace Device) Mid-level-ontology.kif 16282-16282 Fireplace is a subclass of device
(subclass Fireplace StationaryArtifact) Mid-level-ontology.kif 16281-16281 Fireplace is a subclass of stationary artifact

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


(termFormat ChineseLanguage Fireplace "壁炉") domainEnglishFormat.kif 23952-23952
(termFormat ChineseTraditionalLanguage Fireplace "壁爐") domainEnglishFormat.kif 23951-23951
(termFormat EnglishLanguage Fireplace "fireplace") domainEnglishFormat.kif 23950-23950

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


(=>
    (instance ?F Fireplace)
    (exists (?B)
        (and
            (instance ?B Building)
            (part ?F ?B))))
Mid-level-ontology.kif 16301-16306
(=>
    (instance ?F Fireplace)
    (exists (?C)
        (and
            (instance ?C Chimney)
            (connected ?F ?C))))
Mid-level-ontology.kif 16294-16299
(=>
    (instance ?F Fireplace)
    (hasPurpose ?F
        (exists (?C)
            (and
                (instance ?C Combustion)
                (eventLocated ?C ?F)))))
Mid-level-ontology.kif 16286-16292


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