Vodka - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Vodka

Vodka(vodka)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3585-3586
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31439-31439	roomTempState vodka and liquid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3584-3584	Vodka is a subclass of distilled alcoholic beverage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2059-2059	Absolut is a subclass of vodka
No TPTP formula. May not be expressible in strict first order.	Food.kif 3478-3478	Stolichnoya is a subclass of vodka
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65709-65709

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3595-3602	If an entity is an instance of vodka, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of cereal grain and the object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3588-3593	If an object is an instance of vodka, then there exists another object such that the other object is an instance of potable water and the other object is a part of the object

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