Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Candle

 Sigma KEE - Candle
Candle(candle)
candle, chandlery, dip, rush_candle, rushlight, taper, vigil_candle, vigil_light, wax_light

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


(subclass Candle LightFixture) Mid-level-ontology.kif 3649-3649 Candle is a subclass of light fixture
(documentation Candle EnglishLanguage "An LightFixture that consists of Wax and a wick, which is lit with a flame.") Mid-level-ontology.kif 3650-3651 Candle is a subclass of light fixture
(externalImage Candle "http://articulatesoftware.com/SUMOpictures/holiday/ candles/ candle_7.png") pictureList.kif 318-318 Candle is a subclass of light fixture

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


(termFormat EnglishLanguage Candle "candle") domainEnglishFormat.kif 12955-12955
(termFormat ChineseTraditionalLanguage Candle "蠟燭") domainEnglishFormat.kif 12956-12956
(termFormat ChineseLanguage Candle "蜡烛") domainEnglishFormat.kif 12957-12957

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


(=>
    (instance ?CANDLE Candle)
    (material Wax ?CANDLE))		 Mid-level-ontology.kif 3653-3655 If X is an instance of candle, then X is made of wax
(=>
    (instance ?C Candle)
    (hasPurpose ?C
        (exists (?F)
            (and
                (instance ?F Fire)
                (resource ?F ?C)))))		 Mid-level-ontology.kif 3657-3663 If X is an instance of candle, then X has the purpose there exists Y such that Y is an instance of fire and X is a resource for Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners