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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sugar
  GuanaritoVirus

Sigma KEE - Sugar
Sugar

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 9255-9256
(externalImage Sugar "http://upload.wikimedia.org/wikipedia/commons/5/56/ Sugar_2xmacro.jpg") pictureList.kif 885-885
(subclass Sugar Carbohydrate) Mid-level-ontology.kif 9254-9254 Sugar炭水化物subclass では %n
(subclass Sugar PlantProduct) Economy.kif 4157-4157 SugarPlantProductsubclass では %n
(subclass Sugar Substance) Economy.kif 4158-4158 Sugar物質subclass では %n

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


(termFormat ChineseLanguage Sugar "糖") domainEnglishFormat.kif 55953-55953
(termFormat ChineseTraditionalLanguage Sugar "糖") domainEnglishFormat.kif 55952-55952
(termFormat EnglishLanguage Sugar "sugar") domainEnglishFormat.kif 55951-55951

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