TreeView 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 294-295
(externalImage Beverage "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ FountainSoda.jpg")	pictureList.kif 888-888
(roomTempState Beverage Liquid)	Mid-level-ontology.kif 31318-31318	roomTempState beverage and liquid
(subclass Beverage Colloid)	Food.kif 292-292	Beverage is a subclass of colloid
(subclass Beverage PreparedFood)	Food.kif 291-291	Beverage is a subclass of prepared food

appearance as argument number 2

(disjoint Meat Beverage)	Food.kif 293-293	Meat is disjoint from beverage
(disjoint Soup Beverage)	Food.kif 1068-1068	Soup is disjoint from beverage
(subclass AlcoholicBeverage Beverage)	Mid-level-ontology.kif 10858-10858	Alcoholic beverage is a subclass of beverage
(subclass Chocolate Beverage)	Food.kif 1662-1662	Chocolate is a subclass of beverage
(subclass Coffee Beverage)	Food.kif 520-520	Coffee is a subclass of beverage
(subclass OnePercentMilk Beverage)	Food.kif 2111-2111	One percent milk is a subclass of beverage
(subclass ProcessedGoatMilk Beverage)	Food.kif 2192-2192	ProcessedGoatMilk is a subclass of beverage
(subclass ProcessedMilk Beverage)	Food.kif 1972-1972	Processed gaot milk is a subclass of beverage
(subclass SemiSkimmedMilk Beverage)	Food.kif 2136-2136	Semi skimmed milk is a subclass of beverage
(subclass SkimmedMilk Beverage)	Food.kif 2162-2162	Skimmed milk is a subclass of beverage
(subclass Soda Beverage)	Food.kif 2575-2575	Soda is a subclass of beverage
(subclass Tea Beverage)	Food.kif 1183-1183	Tea is a subclass of beverage
(subclass TwoPercentMilk Beverage)	Food.kif 2086-2086	Two percent milk is a subclass of beverage
(termFormat ChineseLanguage Beverage "饮料")	chinese_format.kif 1015-1015
(termFormat EnglishLanguage Beverage "beverage")	english_format.kif 1242-1242
(termFormat FrenchLanguage Beverage "boisson")	french_format.kif 693-693
(termFormat Hindi Beverage "peya")	terms-hindi.txt 224-224
(termFormat ItalianLanguage Beverage "Bevanda")	terms-it.txt 225-225
(termFormat JapaneseLanguage Beverage "飲料")	japanese_format.kif 2376-2376
(termFormat PortugueseLanguage Beverage "Bebida")	portuguese_format.kif 645-645
(termFormat cb Beverage "ilimnon")	terms-cb.txt 229-229
(termFormat cz Beverage "beverage")	terms-cz.txt 262-262
(termFormat ro Beverage "bãuturã")	relations-ro.kif 714-714
(termFormat tg Beverage "inumin")	terms-tg.txt 228-228

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

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

Food.kif 297-299

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 4687-4691	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 301-305	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 1958-1967	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 233-250	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: