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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AlcoholicBeverage
AlcoholicBeverage(alcoholic beverage)NADA_daiquiri, Virgin_Mary, alcohol, alcoholic_beverage, alcoholic_drink, bloody_shame, eye_opener, hair_of_the_dog, inebriant, intoxicant, koumiss, kumis, mixed_drink, mixer, nightcap, pruno, refresher, rotgut, slug, smoothie, sundowner

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8480-8480
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8478-8478 Alcoholic beverage is a subclass of beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8479-8479 Alcoholic beverage is a subclass of depressant

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8506-8506 Beer is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8492-8492 Distilled alcoholic beverage is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8489-8489 Wine is a subclass of alcoholic beverage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6435-6435
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6434-6434
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6433-6433

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


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

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 215-219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23082-23089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7518-7529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6697-6705


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