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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Distilling

Sigma KEE - Distilling
Distilling

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 Distilling分开subclass

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


(termFormat EnglishLanguage Distilling "distilling") domainEnglishFormat.kif 3747-3747 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 1085-1100

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


(=>
    (instance ?B Brandy)
    (exists (?D ?W)
        (and
            (instance ?D Distilling)
            (instance ?W Wine)
            (resource ?D ?W)
            (result ?D ?B))))
Food.kif 1106-1113
(=>
    (instance ?D Distillery)
    (hasPurpose ?D
        (exists (?EV)
            (and
                (instance ?EV Distilling)
                (eventLocated ?EV ?D)
                (result ?EV DistilledAlcoholicBeverage)))))
Society.kif 1232-1239
(=>
    (instance ?R Rum)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?S SugarCane)
            (resource ?D ?S)
            (result ?D ?R))))
Food.kif 840-847
(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))
Food.kif 855-862
(=>
    (instance ?T Tequila)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?B BlueAgave)
            (resource ?D ?B)
            (result ?D ?T))))
Food.kif 964-971
(=>
    (instance ?V Vodka)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?V))))
Food.kif 1063-1070
(=>
    (instance ?W Whiskey)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 1076-1083


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