DrinkingWater - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2812-2813
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2319-2319
No TPTP formula. May not be expressible in strict first order.	Food.kif 1308-1308	饮用水是在 Americano 的 ingredient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31639-31639	roomTempState 饮用水 and 液体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	饮用水是淡水的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 218-218	饮用水是已准备食物的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 219-219	饮用水的名是 "potable water"
No TPTP formula. May not be expressible in strict first order.	Food.kif 238-238	PurifiedWater 和饮用水是内部相关
No TPTP formula. May not be expressible in strict first order.	Food.kif 269-269	TapWater 和饮用水是内部相关
No TPTP formula. May not be expressible in strict first order.	Food.kif 221-221	SparklingWater 是饮用水的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46856-46856
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46855-46855
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46854-46854

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1321-1332	如果客体是 Americano 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是饮用水的 instance 和那个另外物质的 measure 是 90.0 摄氏度和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15
No TPTP formula. May not be expressible in strict first order.	Food.kif 1440-1450	如果客体是 LongBlack 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是饮用水的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升，然后 approximateValue 那个实数 and 0.06 和 approximateValue 那个另外实数 and 0.12
No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	如果有点客体是混合物的 subclass 和 %每个有点客体是 meat 的 initially part 和 %每个那个有点客体是 FoodFromPlant 的 initially part 和 %每个那个有点客体是饮用水的 initially part ，然后那个有点客体 equal 高汤
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	如果类是饮用水的 subclass，然后那个类是 food for 人类的 subclass

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	如果过程是 DryRoasting 的 instance 和实体是 Food 的 instance 和那个实体是那个过程的 patient，然后有存在另一个实体和第三实体这样那个另外实体是加热的 instance 和那个第三实体是搅拌的 instance 和那个另外实体%n是那个过程的subProcess 和那个第三实体%n是那个过程的subProcess 和那个第三实体出现的 time 在那个另外实体出现的 time 时段内发生和那个实体是那个另外实体的 patient 和那个实体是那个第三实体的 patient 和不存在第五实体和第六实体这样那个第五实体是油的 instance 和那个第六实体是饮用水的 instance 和那个第五实体是那个过程的 patient 和那个第六实体是那个过程的 patient 在那个过程 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 1310-1320	如果实体是 Americano 的 instance，然后有存在过程，物理， and 和另一个实体这样那个过程是浇注的 instance 和那个物理是那个过程的 patient 和那个物理是饮用水的 instance 和那个物理的 measure 是 90 摄氏度和那个过程在那个另外实体结束和那个另外实体是 Espresso 的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Food.kif 641-643	如果躯体性物体是咖啡的 instance，然后饮用水是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 844-851	如果过程是 ColdBrewingCoffee 的 instance，然后有存在客体这样那个客体是饮用水的 instance 和那个客体是那个过程的 resource 和那个客体的 measure 是 20 摄氏度
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	如果过程是 CoffeeMaking 的 instance，然后有存在另一个过程，实体， and 和另一个实体这样那个另外过程%n是那个过程的subProcess 和那个另外过程是液体运动的 instance 和那个实体是那个另外过程的 patient 和那个实体是饮用水的 instance 和那个另外过程在那个另外实体结束和那个另外实体是 CoffeeGrind 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	如果过程是 CoffeeMaking 的 instance，然后有存在另一个过程，客体,，，另一个客体,，，第三客体,，，第四客体， and 和实体这样那个另外过程%n是那个过程的subProcess 和那个另外过程是移除的 instance 和那个客体是那个另外过程的源头和那个客体是液体混合物的 instance 和那个第三客体是那个客体的 part 和那个第三客体是饮用水的 instance 和那个另外客体是那个客体的 part 和那个另外客体是 CoffeeGrind 的 instance 和那个第四客体是导致那个另外过程的 instrument 和那个第四客体是过滤的 instance 和那个实体是那个另外过程的 result 和那个实体是咖啡的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 675-684	如果过程是 CoffeeMaking 的 instance，然后有存在另一个过程，客体， and 和实体这样那个另外过程%n是那个过程的subProcess 和那个另外过程是 Soaking 的 instance 和那个客体是那个另外过程的 resource 和那个客体是饮用水的 instance 和那个实体是那个另外过程的 patient 和那个实体是 CoffeeGrind 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1609-1616	如果客体是面团的 instance，然后有存在另一个客体和第三客体这样那个另外客体是面粉的 instance 和那个第三客体是饮用水的 instance 和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Food.kif 754-762	如果客体是 Espresso 的 instance，然后有存在另一个客体和实数这样那个另外客体是饮用水的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 measure 是那个实数升和 approximateValue 那个实数 and 0.03
No TPTP formula. May not be expressible in strict first order.	Food.kif 1423-1427	如果躯体性物体是 LongBlack 的 instance，然后 Espresso 是那个躯体性物体的材料和饮用水是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 1429-1439	如果实体是 LongBlack 的 instance，然后有存在过程，客体， and 和另一个实体这样那个过程是浇注的 instance 和那个客体是那个过程的 patient 和那个客体是饮用水的 instance 和 HotTemperature 是那个客体的 attribute 和那个过程在那个另外实体结束和那个另外实体是 Espresso 的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Food.kif 3444-3446	如果躯体性物体是 Sorbet 的 instance，然后饮用水是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Food.kif 226-235	如果客体是 SparklingWater 的 instance，然后有存在过程，实体， and 和另一个客体这样那个过程是放的 instance 和那个实体是饮用水的 instance 和那个过程在那个另外客体结束和那个另外客体是 CarbonDioxide 的 instance 和那个客体是那个过程的 result 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Food.kif 3588-3593	如果客体是 Vodka 的 instance，然后有存在另一个客体这样那个另外客体是饮用水的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Food.kif 862-869	如果客体是 FrenchPressingCoffee 的 instance，然后有存在过程这样那个过程是饮用水的 instance 和那个客体是那个过程的 resource 和那个过程的 measure 是 90 摄氏度

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