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 饮料 and 液体
No TPTP formula. May not be expressible in strict first order. Food.kif 390-390 饮料胶体subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 389-389 饮料已准备食物subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 391-391 Meat 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Food.kif 1648-1648 Soup 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10905-10905 酒精饮料饮料subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 1820-1820 CaffeinateFreeTea饮料subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 628-628 咖啡饮料subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4808-4808 Pedialyte饮料subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3043-3043 ProcessedGoatMilk饮料subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2827-2827 ProcessedMilk饮料subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3431-3431 Soda饮料subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 1805-1805 饮料subclass
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