Distilling - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat ChineseLanguage Distilling "蒸馏")	domainEnglishFormat.kif 19972-19972
(termFormat ChineseTraditionalLanguage Distilling "蒸餾")	domainEnglishFormat.kif 19971-19971
(termFormat EnglishLanguage Distilling "distilling")	domainEnglishFormat.kif 19970-19970

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

If an object is an instance of whiskey and a time interval is an instance of distilling and the object is a result of the time interval and the object is a resource for the time intervalR and the time intervalR is an instance of drinking,
then there exist a self connected object, a third time interval and a hole such that the self connected object is an instance of cask and the hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object holds during the third time interval and the time interval happens earlier than the third time interval and the third time interval happens earlier than the time intervalR

consequent

(=> (instance ?B Brandy) (exists (?D ?W) (and (instance ?D Distilling) (instance ?W Wine) (resource ?D ?W) (result ?D ?B))))	Food.kif 3638-3645	If an entity is an instance of brandy, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of wine and the object is a resource for the process and the entity is a result of the process
(=> (instance ?R Rum) (exists (?D ?S) (and (instance ?D Distilling) (instance ?S SugarCane) (resource ?D ?S) (result ?D ?R))))	Food.kif 3339-3346	If an entity is an instance of rum, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of sugar cane and the object is a resource for the process and the entity is a result of the process
(=> (instance ?S Schnapps) (exists (?D ?F) (and (instance ?D Distilling) (instance ?F Fruit) (resource ?D ?F) (result ?D ?S))))	Food.kif 3368-3375	If an entity is an instance of schnapps, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of fruit and the object is a resource for the process and the entity is a result of the process
(=> (instance ?T Tequila) (exists (?D ?B) (and (instance ?D Distilling) (instance ?B BlueAgave) (resource ?D ?B) (result ?D ?T))))	Food.kif 3495-3502	If an entity is an instance of tequila, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of blue agave and the object is a resource for the process and the entity is a result of the process
(=> (instance ?V Vodka) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?V))))	Food.kif 3595-3602	If an entity is an instance of vodka, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of cereal grain and the object is a resource for the process and the entity is a result of the process
(=> (instance ?W Whiskey) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?W))))	Food.kif 3608-3615	If an entity is an instance of whiskey, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of cereal grain and the object is a resource for the process and the entity is a result of the process

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

KB Term:			Term intersection

English Word: