Distilling - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Distilling Separating)	Economy.kif 6057-6057	Distilling is a subclass of separating
(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 6059-6074	Distilling is a subclass of separating
(externalImage Distilling "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Alembic_for_distillation.png")	pictureList.kif 4657-4657	Distilling is a subclass of separating

appearance as argument number 2

(termFormat EnglishLanguage Distilling "distilling")	domainEnglishFormat.kif 19956-19956
(termFormat ChineseTraditionalLanguage Distilling "蒸餾")	domainEnglishFormat.kif 19957-19957
(termFormat ChineseLanguage Distilling "蒸馏")	domainEnglishFormat.kif 19958-19958

antecedent

(=>
    (and
        (instance ?W Whiskey)
        (instance ?D Distilling)
        (result ?D ?W)
        (resource ?DR ?W)
        (instance ?DR Drinking))
    (exists (?C ?T ?H)
        (and
            (instance ?C Cask)
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (holdsDuring ?T
                (partiallyFills ?W ?C))
            (earlier ?D ?T)
            (earlier ?T ?DR))))

Food.kif 3654-3669

If X is an instance of whiskey, Y is an instance of distilling, X is a result of Y, X is a resource for Z, and Z is an instance of drinking, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of cask (3) U is an instance of hole (4) U is a hole in W (5) X partially fills W holds during V (6) Y happens earlier than V (7) V happens earlier than Z

consequent

(=> (instance ?R Rum) (exists (?D ?S) (and (instance ?D Distilling) (instance ?S SugarCane) (resource ?D ?S) (result ?D ?R))))	Food.kif 3373-3380	If X is an instance of rum, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of sugar cane, Z is a resource for Y, and X is a result of Y
(=> (instance ?S Schnapps) (exists (?D ?F) (and (instance ?D Distilling) (instance ?F Fruit) (resource ?D ?F) (result ?D ?S))))	Food.kif 3403-3410	If X is an instance of schnapps, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of fruit, Z is a resource for Y, and X is a result of Y
(=> (instance ?T Tequila) (exists (?D ?B) (and (instance ?D Distilling) (instance ?B BlueAgave) (resource ?D ?B) (result ?D ?T))))	Food.kif 3533-3540	If X is an instance of tequila, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of blue agave, Z is a resource for Y, and X is a result of Y
(=> (instance ?V Vodka) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?V))))	Food.kif 3632-3639	If X is an instance of vodka, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of cereal grain, Z is a resource for Y, and X is a result of Y
(=> (instance ?W Whiskey) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?W))))	Food.kif 3645-3652	If X is an instance of whiskey, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of cereal grain, Z is a resource for Y, and X is a result of Y
(=> (instance ?B Brandy) (exists (?D ?W) (and (instance ?D Distilling) (instance ?W Wine) (resource ?D ?W) (result ?D ?B))))	Food.kif 3677-3684	If X is an instance of brandy, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of wine, Z is a resource for Y, and X is a result of Y
(=> (instance ?D Distillery) (hasPurpose ?D (exists (?EV) (and (instance ?EV Distilling) (eventLocated ?EV ?D) (result ?EV DistilledAlcoholicBeverage)))))	Society.kif 1205-1212	If X is an instance of distillery, then X has the purpose there exists Y such that Y is an instance of distilling, Y is located at X, and distilled alcoholic beverage is a result of Y

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: