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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sugar
Sugar(sugar)
beet_sugar, brown_sugar, cane_sugar, caramel, caramelized_sugar, caster_sugar, castor_sugar, demerara, demerara_sugar, granulated_sugar, icing_sugar, loaf_sugar, lump_sugar, powdered_sugar, refined_sugar, sugar, sugar_loaf, sugarloaf, wood_sugar, xylose

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


(documentation Sugar EnglishLanguage "A simple Carbohydrate that has a sweet taste and consists mostly or entirely of sucrose.") Mid-level-ontology.kif 10124-10125
(externalImage Sugar "http://upload.wikimedia.org/wikipedia/commons/5/56/ Sugar_2xmacro.jpg") pictureList.kif 885-885
(subclass Sugar Carbohydrate) Mid-level-ontology.kif 10123-10123 Sugar is a subclass of carbohydrate
(subclass Sugar PlantProduct) Economy.kif 4367-4367 Sugar is a subclass of plant product
(subclass Sugar Substance) Economy.kif 4368-4368 Sugar is a subclass of substance

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


(termFormat ChineseLanguage Sugar "糖") domainEnglishFormat.kif 55984-55984
(termFormat ChineseTraditionalLanguage Sugar "糖") domainEnglishFormat.kif 55983-55983
(termFormat EnglishLanguage Sugar "sugar") domainEnglishFormat.kif 55982-55982

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


(=>
    (instance ?CHOC ChocolateCandy)
    (and
        (material CocoaLiquor ?CHOC)
        (material Oil ?CHOC)
        (material Sugar ?CHOC)))		 Food.kif 2500-2505
(=>
    (instance ?J Jam)
    (exists (?B ?F ?S)
        (and
            (instance ?B Boiling)
            (patient ?B ?F)
            (instance ?F Fruit)
            (patient ?B ?S)
            (instance ?S Sugar)
            (result ?B ?J))))		 Food.kif 1760-1769
(=>
    (instance ?L Liqueur)
    (material Sugar ?L))		 Food.kif 2644-2646
(=>
    (instance ?S Sorbet)
    (material Sugar ?S))		 Food.kif 3452-3454


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