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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Beverage

Sigma KEE - Beverage
Beverage(beverage)
Madeira, May_wine, Turkish_coffee, alcoholic, beverage, brew, brewage, bubbling, bubbly, buck's_fizz, cafe_royale, camomile_tea, carbonated, cassareep, cassiri, champagne_cup, chaser, chocolate, chocolate_milk, claret_cup, cocoa, coconut_cream, coconut_milk, coffee_royal, criollo, cup, draft, draught, drink, drinkable, drinking_chocolate, dry, effervescent, effervescing, eggnog, eggshake, fellow, fish_house_punch, fizz, flat, float, foaming, foamy, formula, frappe, frothy, fruit_punch, gin_rickey, glogg, hard...

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


No TPTP formula. May not be expressible in strict first order. Food.kif 392-393
No TPTP formula. May not be expressible in strict first order. pictureList.kif 888-888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31417-31417 roomTempState beverage and liquid
No TPTP formula. May not be expressible in strict first order. Food.kif 390-390 Beverage is a subclass of colloid
No TPTP formula. May not be expressible in strict first order. Food.kif 389-389 Beverage is a subclass of prepared food

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


No TPTP formula. May not be expressible in strict first order. Food.kif 391-391 Meat is disjoint from beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 1648-1648 Soup is disjoint from beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10905-10905 Alcoholic beverage is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 1820-1820 Caffeinate free tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 628-628 Coffee is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4808-4808 Pedialyte is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3043-3043 Processed gaot milk is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 2827-2827 Processed milk is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3431-3431 Soda is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 1805-1805 Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1015-1015
No TPTP formula. May not be expressible in strict first order. english_format.kif 1242-1242
No TPTP formula. May not be expressible in strict first order. french_format.kif 693-693
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 224-224
No TPTP formula. May not be expressible in strict first order. terms-it.txt 227-227
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2376-2376
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 645-645
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 229-229
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 262-262
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 714-714
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 228-228

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


No TPTP formula. May not be expressible in strict first order. Food.kif 395-397

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4715-4719
No TPTP formula. May not be expressible in strict first order. Food.kif 399-403
No TPTP formula. May not be expressible in strict first order. Dining.kif 208-212
No TPTP formula. May not be expressible in strict first order. naics.kif 1837-1855
No TPTP formula. May not be expressible in strict first order. naics.kif 7319-7333
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1986-1995
No TPTP formula. May not be expressible in strict first order. Food.kif 331-348


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 3.0 is open source software produced by Articulate Software and its partners