Beverage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Beverage EnglishLanguage "Any food, excluding water that is ingested by Drinking. Note that this class is disjoint Meat and FruitOrVegetable.")	Food.kif 392-393
(externalImage Beverage "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ FountainSoda.jpg")	pictureList.kif 888-888
(roomTempState Beverage Liquid)	Mid-level-ontology.kif 31682-31682	roomTempState beverage and liquid
(subclass Beverage Colloid)	Food.kif 390-390	Beverage is a subclass of colloid
(subclass Beverage PreparedFood)	Food.kif 389-389	Beverage is a subclass of prepared food

appearance as argument number 2

(disjoint Meat Beverage)	Food.kif 391-391	Meat is disjoint from beverage
(disjoint Soup Beverage)	Food.kif 1648-1648	Soup is disjoint from beverage
(subclass AlcoholicBeverage Beverage)	Mid-level-ontology.kif 11123-11123	Alcoholic beverage is a subclass of beverage
(subclass CaffeinateFreeTea Beverage)	Food.kif 1820-1820	Caffeinate free tea is a subclass of beverage
(subclass Coffee Beverage)	Food.kif 628-628	Coffee is a subclass of beverage
(subclass Pedialyte Beverage)	Medicine.kif 4808-4808	Pedialyte is a subclass of beverage
(subclass ProcessedGoatMilk Beverage)	Food.kif 3043-3043	Processed gaot milk is a subclass of beverage
(subclass ProcessedMilk Beverage)	Food.kif 2827-2827	Processed milk is a subclass of beverage
(subclass Soda Beverage)	Food.kif 3431-3431	Soda is a subclass of beverage
(subclass Tea Beverage)	Food.kif 1805-1805	Tea is a subclass of beverage
(termFormat ChineseLanguage Beverage "饮料")	chinese_format.kif 1015-1015	Tea is a subclass of beverage
(termFormat EnglishLanguage Beverage "beverage")	english_format.kif 1242-1242	Tea is a subclass of beverage
(termFormat FrenchLanguage Beverage "boisson")	french_format.kif 693-693	Tea is a subclass of beverage
(termFormat Hindi Beverage "peya")	terms-hindi.txt 224-224	Tea is a subclass of beverage
(termFormat ItalianLanguage Beverage "Bevanda")	terms-it.txt 227-227	Tea is a subclass of beverage
(termFormat JapaneseLanguage Beverage "飲料")	japanese_format.kif 2376-2376	Tea is a subclass of beverage
(termFormat PortugueseLanguage Beverage "Bebida")	portuguese_format.kif 645-645	Tea is a subclass of beverage
(termFormat cb Beverage "ilimnon")	terms-cb.txt 229-229	Tea is a subclass of beverage
(termFormat cz Beverage "beverage")	terms-cz.txt 262-262	Tea is a subclass of beverage
(termFormat ro Beverage "bãuturã")	relations-ro.kif 714-714	Tea is a subclass of beverage
(termFormat tg Beverage "inumin")	terms-tg.txt 228-228	Tea is a subclass of beverage

antecedent

(=>
(instance ?BEV Beverage)
(attribute ?BEV Liquid))

Food.kif 395-397

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

consequent

(=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage))	Mid-level-ontology.kif 4710-4714	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
(=> (and (instance ?DRINK Drinking) (patient ?DRINK ?BEV)) (instance ?BEV Beverage))	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
(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage))	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
(=> (and (instance ?ORG Organization) (attribute ?ORG BeverageAndTobaccoProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Beverage) (instance ?THING TobaccoProduct)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	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
(=> (and (instance ?ORG Organization) (attribute ?ORG FoodAndBeverageStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING (FoodForFn Animal)) (instance ?THING Beverage)) (patient ?EV ?THING))))))	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
(=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely))	Mid-level-ontology.kif 1979-1988	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
(=> (instance ?X WetBar) (exists (?SINK ?OBJ) (and (instance ?SINK WashBasin) (part ?SINK ?X) (instance ?OBJ Object) (attribute ?OBJ Flat) (hasPurpose ?OBJ (exists (?PREP ?FOOD) (and (instance ?PREP Making) (result ?PREP ?FOOD) (or (instance ?FOOD PreparedFood) (instance ?FOOD Beverage)) (eventLocated ?PREP ?OBJ)))) (part ?OBJ ?X))))	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: