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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Beverage

Sigma KEE - Beverage
Beverage

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 液體
No TPTP formula. May not be expressible in strict first order. Food.kif 390-390 子類 Beverage and 膠體
No TPTP formula. May not be expressible in strict first order. Food.kif 389-389 子類 Beverage and 已準備食物

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


No TPTP formula. May not be expressible in strict first order. Food.kif 391-391 不相交的 Meat and Beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 1648-1648 不相交的 Soup and Beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10905-10905 子類 酒精飲料 and Beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 1820-1820 子類 CaffeinateFreeTea and Beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 628-628 子類 咖啡 and Beverage
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4808-4808 子類 Pedialyte and Beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3043-3043 子類 ProcessedGoatMilk and Beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 2827-2827 子類 ProcessedMilk and Beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3431-3431 子類 Soda and Beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 1805-1805 子類 and 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