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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Distilling
Distilling

VerbNet: wipe_manner-10.4.1|distil, cheat-10.6|purify, wipe_manner-10.4.1|distil, cheat-10.6|purify, cheat-10.6|purify, cheat-10.6|purify,


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


(documentation Distilling EnglishLanguage "Distillation is a means of separating Liquids through differences in their boilingPoints. The device used in distillation is referred to as a still and consists at a minimum of a pot in which the source material is heated, a condenser in which the heated Gas is cooled back to the liquid state, and a receiver in which the concentrated or purified liquid is collected. The equipment may effect separation by one of two main methods. Firstly the vapours given off by the heated mixture may consist of two liquids with significantly different boiling points. Thus, the vapour that is given off is in the vast majority of one or the other liquid, which after condensation and collection effects the separation. The second method (fractional distillation) relies upon a gradient of temperatures existing in the condenser stage of the equipment. Often in this technique, a vertical condenser, or column, is used. By extracting products that are liquid at different heights up the column, it is possible to extract liquids that have different boiling points. (from Wikipedia)") Economy.kif 4583-4598
(externalImage Distilling "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Alembic_for_distillation.png") pictureList.kif 4659-4659 externalImage Distilling and "http://upload.wikimedia.org/wikipedia/commons/0/06/ Alembic_for_distillation.png"
(subclass Distilling Separating) Economy.kif 4581-4581 subclass Distilling and Separating

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


(termFormat ChineseLanguage Distilling "蒸馏") domainEnglishFormat.kif 19885-19885 termFormat ChineseLanguage, Distilling and "蒸馏"
(termFormat ChineseTraditionalLanguage Distilling "蒸餾") domainEnglishFormat.kif 19884-19884 termFormat ChineseTraditionalLanguage, Distilling and "蒸餾"
(termFormat EnglishLanguage Distilling "distilling") domainEnglishFormat.kif 19883-19883 termFormat EnglishLanguage, Distilling and "distilling"

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


(=>
    (and
        (instance ?W Whiskey)
        (instance ?D Distilling)
        (result ?D ?W)
        (resource ?DR ?W)
        (instance ?DR Drinking))
    (exists (?C ?T)
        (and
            (instance ?C Cask)
            (instance ?H Hole)
            (hole ?H ?C)
            (holdsDuring ?T
                (partiallyFills ?W ?C))
            (earlier ?D ?T)
            (earlier ?T ?DR))))
Food.kif 1084-1099

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


(=>
    (instance ?B Brandy)
    (exists (?D ?W)
        (and
            (instance ?D Distilling)
            (instance ?W Wine)
            (resource ?D ?W)
            (result ?D ?B))))
Food.kif 1105-1112
(=>
    (instance ?R Rum)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?S SugarCane)
            (resource ?D ?S)
            (result ?D ?R))))
Food.kif 839-846
(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))
Food.kif 854-861
(=>
    (instance ?T Tequila)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?B BlueAgave)
            (resource ?D ?B)
            (result ?D ?T))))
Food.kif 963-970
(=>
    (instance ?V Vodka)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?V))))
Food.kif 1062-1069
(=>
    (instance ?W Whiskey)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 1075-1082


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners