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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14799-14800
(externalImage Fireplace "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ The_fireplace-RS.jpg") pictureList.kif 2820-2820
(externalImage Fireplace "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ household/ living_room/ fireplace.png") pictureList.kif 432-432
(subclass Fireplace Device) Mid-level-ontology.kif 14798-14798 壁炉设备subclass
(subclass Fireplace StationaryArtifact) Mid-level-ontology.kif 14797-14797 壁炉固定人工制品subclass

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


(termFormat ChineseLanguage Fireplace "壁炉") domainEnglishFormat.kif 23931-23931
(termFormat ChineseTraditionalLanguage Fireplace "壁爐") domainEnglishFormat.kif 23930-23930
(termFormat EnglishLanguage Fireplace "fireplace") domainEnglishFormat.kif 23929-23929

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


(=>
    (instance ?F Fireplace)
    (exists (?B)
        (and
            (instance ?B Building)
            (part ?F ?B))))
Mid-level-ontology.kif 14817-14822
(=>
    (instance ?F Fireplace)
    (exists (?C)
        (and
            (instance ?C Chimney)
            (connected ?F ?C))))
Mid-level-ontology.kif 14810-14815
(=>
    (instance ?F Fireplace)
    (hasPurpose ?F
        (exists (?C)
            (and
                (instance ?C Combustion)
                (eventLocated ?C ?F)))))
Mid-level-ontology.kif 14802-14808


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