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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DrinkingWater
DrinkingWater(饮用水)

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


(documentation DrinkingWater EnglishLanguage "DrinkingWater is the subclass of Water that is safe to be consumed by Human.") Geography.kif 2812-2813
(externalImage DrinkingWater "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Drinking_water.jpg") pictureList.kif 2319-2319
(ingredient DrinkingWater Americano) Food.kif 1308-1308 饮用水 是在 Americano 的 ingredient
(roomTempState DrinkingWater Liquid) Mid-level-ontology.kif 31639-31639 roomTempState 饮用水 and 液体
(subclass DrinkingWater FreshWater) Geography.kif 2810-2810 饮用水 是 淡水 的 subclass
(subclass DrinkingWater PreparedFood) Food.kif 218-218 饮用水 是 已准备食物 的 subclass

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


(names "potable water" DrinkingWater) Food.kif 219-219 饮用水 的名 是 "potable water"
(relatedInternalConcept PurifiedWater DrinkingWater) Food.kif 238-238 PurifiedWater 和 饮用水 是 内部相关
(relatedInternalConcept TapWater DrinkingWater) Food.kif 269-269 TapWater 和 饮用水 是 内部相关
(subclass SparklingWater DrinkingWater) Food.kif 221-221 SparklingWater 是 饮用水 的 subclass
(termFormat ChineseLanguage DrinkingWater "饮用水") domainEnglishFormat.kif 46856-46856
(termFormat ChineseTraditionalLanguage DrinkingWater "飲用水") domainEnglishFormat.kif 46855-46855
(termFormat EnglishLanguage DrinkingWater "potable water") domainEnglishFormat.kif 46854-46854

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


(=>
    (and
        (instance ?A Americano)
        (part ?E ?A)
        (part ?W ?A)
        (instance ?E Espresso)
        (instance ?W DrinkingWater)
        (measure ?W
            (MeasureFn 90.0 CelsiusDegree))
        (mixtureRatio ?E ?W ?V1 ?V2 Liter))
    (and
        (approximateValue ?V1 0.03)
        (approximateValue ?V2 0.15)))		 Food.kif 1321-1332
(=>
    (and
        (instance ?L LongBlack)
        (part ?E ?L)
        (part ?W ?L)
        (instance ?E Espresso)
        (instance ?W DrinkingWater)
        (mixtureRatio ?E ?W ?V1 ?V2 Liter))
    (and
        (approximateValue ?V1 0.06)
        (approximateValue ?V2 0.12)))		 Food.kif 1440-1450
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))		 Food.kif 1633-1639
(=>
    (subclass ?W DrinkingWater)
    (subclass ?W
        (FoodForFn Human)))		 Geography.kif 2815-2818

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


(=>
    (and
        (instance ?X DryRoasting)
        (instance ?F Food)
        (patient ?X ?F))
    (holdsDuring ?X
        (exists (?H ?S)
            (and
                (instance ?H Heating)
                (instance ?S Stirring)
                (subProcess ?H ?X)
                (subProcess ?S ?X)
                (during
                    (WhenFn ?S)
                    (WhenFn ?H))
                (patient ?H ?F)
                (patient ?S ?F)
                (not
                    (exists (?O ?W)
                        (and
                            (instance ?O Oil)
                            (instance ?W DrinkingWater)
                            (patient ?X ?O)
                            (patient ?X ?W))))))))		 Food.kif 128-151
(=>
    (instance ?A Americano)
    (exists (?P ?W ?E)
        (and
            (instance ?P Pouring)
            (patient ?P ?W)
            (instance ?W DrinkingWater)
            (measure ?W
                (MeasureFn 90 CelsiusDegree))
            (destination ?P ?E)
            (instance ?E Espresso)
            (result ?P ?A))))		 Food.kif 1310-1320
(=>
    (instance ?C Coffee)
    (material DrinkingWater ?C))		 Food.kif 641-643
(=>
    (instance ?C ColdBrewingCoffee)
    (exists (?W)
        (and
            (instance ?W DrinkingWater)
            (resource ?C ?W)
            (measure ?W
                (MeasureFn 20 CelsiusDegree)))))		 Food.kif 844-851
(=>
    (instance ?CM CoffeeMaking)
    (exists (?LM ?W ?CG)
        (and
            (subProcess ?LM ?CM)
            (instance ?LM LiquidMotion)
            (patient ?LM ?W)
            (instance ?W DrinkingWater)
            (destination ?LM ?CG)
            (instance ?CG CoffeeGrind))))		 Food.kif 664-673
(=>
    (instance ?CM CoffeeMaking)
    (exists (?R ?LM ?CG ?W ?F ?C)
        (and
            (subProcess ?R ?CM)
            (instance ?R Removing)
            (origin ?R ?LM)
            (instance ?LM LiquidMixture)
            (part ?W ?LM)
            (instance ?W DrinkingWater)
            (part ?CG ?LM)
            (instance ?CG CoffeeGrind)
            (instrument ?R ?F)
            (instance ?F Filter)
            (result ?R ?C)
            (instance ?C Coffee))))		 Food.kif 686-701
(=>
    (instance ?CM CoffeeMaking)
    (exists (?S ?W ?CG)
        (and
            (subProcess ?S ?CM)
            (instance ?S Soaking)
            (resource ?S ?W)
            (instance ?W DrinkingWater)
            (patient ?S ?CG)
            (instance ?CG CoffeeGrind))))		 Food.kif 675-684
(=>
    (instance ?D Dough)
    (exists (?F ?W)
        (and
            (instance ?F Flour)
            (instance ?W DrinkingWater)
            (part ?F ?D)
            (part ?W ?D))))		 Food.kif 1609-1616
(=>
    (instance ?E Espresso)
    (exists (?W ?V)
        (and
            (instance ?W DrinkingWater)
            (part ?W ?E)
            (measure ?W
                (MeasureFn ?V Liter))
            (approximateValue ?V 0.03))))		 Food.kif 754-762
(=>
    (instance ?L LongBlack)
    (and
        (material Espresso ?L)
        (material DrinkingWater ?L)))		 Food.kif 1423-1427
(=>
    (instance ?L LongBlack)
    (exists (?P ?W ?E)
        (and
            (instance ?P Pouring)
            (patient ?P ?W)
            (instance ?W DrinkingWater)
            (attribute ?W HotTemperature)
            (destination ?P ?E)
            (instance ?E Espresso)
            (result ?P ?L))))		 Food.kif 1429-1439
(=>
    (instance ?S Sorbet)
    (material DrinkingWater ?S))		 Food.kif 3444-3446
(=>
    (instance ?S SparklingWater)
    (exists (?P ?W ?CD)
        (and
            (instance ?P Putting)
            (instance ?W DrinkingWater)
            (destination ?P ?CD)
            (instance ?CD CarbonDioxide)
            (result ?P ?S)
            (part ?CD ?S))))		 Food.kif 226-235
(=>
    (instance ?V Vodka)
    (exists (?W)
        (and
            (instance ?W DrinkingWater)
            (part ?W ?V))))		 Food.kif 3588-3593
(=>
    (instance ?X FrenchPressingCoffee)
    (exists (?W)
        (and
            (instance ?W DrinkingWater)
            (resource ?W ?X)
            (measure ?W
                (MeasureFn 90 CelsiusDegree)))))		 Food.kif 862-869


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