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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fireplace

Sigma KEE - Fireplace
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 15354-15355
(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 2819-2819
(subclass Fireplace Device) Mid-level-ontology.kif 15353-15353 Fireplaceデバイスsubclass では %n
(subclass Fireplace StationaryArtifact) Mid-level-ontology.kif 15352-15352 Fireplace固定アーチファクトsubclass では %n

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


(termFormat ChineseLanguage Fireplace "壁炉") domainEnglishFormat.kif 23936-23936
(termFormat ChineseTraditionalLanguage Fireplace "壁爐") domainEnglishFormat.kif 23935-23935
(termFormat EnglishLanguage Fireplace "fireplace") domainEnglishFormat.kif 23934-23934

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


(=>
    (instance ?F Fireplace)
    (exists (?B)
        (and
            (instance ?B Building)
            (part ?F ?B))))
Mid-level-ontology.kif 15372-15377
(=>
    (instance ?F Fireplace)
    (exists (?C)
        (and
            (instance ?C Chimney)
            (connected ?F ?C))))
Mid-level-ontology.kif 15365-15370
(=>
    (instance ?F Fireplace)
    (hasPurpose ?F
        (exists (?C)
            (and
                (instance ?C Combustion)
                (eventLocated ?C ?F)))))
Mid-level-ontology.kif 15357-15363


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