Beverage - Sigma Knowledge base Browser

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 33121-33121	room temperature state beverage and liquid
No TPTP formula. May not be expressible in strict first order.	Food.kif 390-390	Beverage is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 389-389	Beverage is a subclass of prepared food

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 391-391	Meat is disjoint from beverage
No TPTP formula. May not be expressible in strict first order.	Food.kif 1654-1654	Soup is disjoint from beverage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12254-12254	Alcoholic beverage is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	Food.kif 1826-1826	Caffeinate free tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	Food.kif 628-628	Coffee is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4815-4815	Pedialyte is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	Food.kif 3050-3050	Processed gaot milk is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	Food.kif 2834-2834	Processed milk is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	Food.kif 3438-3438	Soda is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	Food.kif 1811-1811	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1015-1015	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1242-1242	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	french_format.kif 693-693	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 224-224	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 227-227	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2376-2376	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 645-645	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 229-229	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 262-262	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 521-521	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 714-714	Tea is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 228-228	Tea is a subclass of beverage

antecedent

No TPTP formula. May not be expressible in strict first order.

Food.kif 395-397

If an object is an instance of beverage,
then liquid is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5179-5183	If a self connected object is an instance of drinking cup and the self connected object contains an object, then the object is an instance of beverage
No TPTP formula. May not be expressible in strict first order.	Food.kif 399-403	If a process is an instance of drinking and an entity is a patient of the process, then the entity is an instance of beverage
No TPTP formula. May not be expressible in strict first order.	Dining.kif 208-212	If a catalog is an instance of drinks menu and a kind of entity is in the catalog, then a kind of entity is a subclass of beverage
No TPTP formula. May not be expressible in strict first order.	naics.kif 1837-1855	If a collection is an instance of organization and beverage and tobacco product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of beverage or the entity is an instance of tobacco product and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7319-7333	If a collection is an instance of organization and food and beverage stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an entity such that the agent is an instance of selling and the entity is an instance of food for animal or the entity is an instance of beverage and the entity is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2448-2457	If a transfer is an instance of vending and the object transferred in the transfer is an object and the object is not an instance of currency, then the statement the object is an instance of food for human or the object is an instance of beverage has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	If an object is an instance of wet bar, then there exist another object and a third object such that the other object is an instance of wash basin and the other object is a part of the object and the third object is an instance of object and flat is an attribute of the third object and the third object has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is a result of the entity and the other entity is an instance of prepared food or the other entity is an instance of beverage and the entity is located at the third object and the third 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

KB Term:			Term intersection

English Word: