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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AlcoholicBeverage
AlcoholicBeverage(酒精飲料)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10907-10907
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31421-31421 roomTempState 酒精飲料 and 液體
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. Mid-level-ontology.kif 10906-10906 子類 酒精飲料 and 降凝劑

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10934-10934 子類 啤酒 and 酒精飲料
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10920-10920 子類 蒸餾酒精飲料 and 酒精飲料
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3474-3474 子類 Sake and 酒精飲料
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10916-10916 子類 葡萄酒 and 酒精飲料
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6426-6426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6425-6425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6424-6424

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10909-10914

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 219-223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26888-26895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8673-8684
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7683-7691


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