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



KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1En2Re3In4In5En6En7InFn

Sigma KEE - Wax
Wax(wax)
Ghedda_wax, Japan_tallow, Japan_wax, bayberry_tallow, bayberry_wax, beeswax, candelilla_wax, carnauba, carnauba_wax, ceresin, cerumen, earwax, fig_wax, floor_wax, gondang_wax, lac_wax, montan_wax, paraffin, paraffin_scale, paraffin_wax, pisang_wax, scale_wax, shellac_wax, ski_wax, spermaceti, vegetable_wax, wax

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


(subclass Wax CompoundSubstance) Mid-level-ontology.kif 2233-2233 Wax is a subclass of compound substance
(documentation Wax EnglishLanguage "Any Substance of high molecular weight that resembles beeswax.") Mid-level-ontology.kif 2234-2235 Wax is a subclass of compound substance
(roomTempState Wax Solid) Mid-level-ontology.kif 33907-33907 room temperature state wax and solid
(externalImage Wax "http://upload.wikimedia.org/wikipedia/commons/a/a8/Beeswax.jpg") pictureList.kif 920-920 room temperature state wax and solid

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


(termFormat EnglishLanguage Wax "wax") domainEnglishFormat.kif 62554-62554
(termFormat ChineseTraditionalLanguage Wax "蠟") domainEnglishFormat.kif 62555-62555
(termFormat ChineseLanguage Wax "蜡") domainEnglishFormat.kif 62556-62556

consequent
-------------------------


(=>
    (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


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