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 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 31417-31417	roomTempState Beverage and Liquid
(subclass Beverage Colloid)	Food.kif 390-390	Beverage ist eine teilkategorie von Colloid
(subclass Beverage PreparedFood)	Food.kif 389-389	Beverage ist eine teilkategorie von PreparedFood

appearance as argument number 2

(disjoint Meat Beverage)	Food.kif 391-391	Meat ist dijunkt von Beverage %n{nicht}
(disjoint Soup Beverage)	Food.kif 1648-1648	Soup ist dijunkt von Beverage %n{nicht}
(subclass AlcoholicBeverage Beverage)	Mid-level-ontology.kif 10905-10905	AlcoholicBeverage ist eine teilkategorie von Beverage
(subclass CaffeinateFreeTea Beverage)	Food.kif 1820-1820	CaffeinateFreeTea ist eine teilkategorie von Beverage
(subclass Coffee Beverage)	Food.kif 628-628	Coffee ist eine teilkategorie von Beverage
(subclass Pedialyte Beverage)	Medicine.kif 4808-4808	Pedialyte ist eine teilkategorie von Beverage
(subclass ProcessedGoatMilk Beverage)	Food.kif 3043-3043	ProcessedGoatMilk ist eine teilkategorie von Beverage
(subclass ProcessedMilk Beverage)	Food.kif 2827-2827	ProcessedMilk ist eine teilkategorie von Beverage
(subclass Soda Beverage)	Food.kif 3431-3431	Soda ist eine teilkategorie von Beverage
(subclass Tea Beverage)	Food.kif 1805-1805	Tea ist eine teilkategorie von 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 227-227
(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

antecedent

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

Food.kif 395-397

Wenn Object ist ein fall von Beverage %n{nicht},
dann Liquid ist ein attribut von ** Object %n{nicht}

consequent

(=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage))	Mid-level-ontology.kif 4715-4719	Wenn SelfConnectedObject ist ein fall von DrinkingCup %n{nicht} und contains SelfConnectedObject and Object, dann Object ist ein fall von Beverage %n{nicht}
(=> (and (instance ?DRINK Drinking) (patient ?DRINK ?BEV)) (instance ?BEV Beverage))	Food.kif 399-403	Wenn Process ist ein fall von Drinking %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Beverage %n{nicht}
(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage))	Dining.kif 208-212	Wenn Catalog ist ein fall von BeverageMenu %n{nicht} und catalogItem Entity and Catalog, dann ** Entity ist eine teilkategorie von 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	Wenn Collection ist ein fall von Organization %n{nicht} und BeverageAndTobaccoProductManufacturing ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Entity, Process2, and und AutonomousAgent2 um AutonomousAgent ist ein fall von Manufacture %n{nicht} und Entity ist ein fall von Beverage %n{nicht} oder Entity ist ein fall von TobaccoProduct %n{nicht} und Entity ist ein patient von AutonomousAgent %n{nicht} und Process2 ist ein Mitglied von Collection %n{nicht} und AutonomousAgent2 ist ein fall von Selling %n{nicht} und AutonomousAgent2 ist der agent von Process2 %n{nicht} und Entity ist ein patient von ** AutonomousAgent2 %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und FoodAndBeverageStores ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Entity um AutonomousAgent ist ein fall von Selling %n{nicht} und Entity ist ein fall von FoodForFn Animal %n{nicht} oder Entity ist ein fall von Beverage %n{nicht} und Entity ist ein patient von AutonomousAgent %n{nicht}
(=> (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 1986-1995	Wenn Transfer ist ein fall von Vending %n{nicht} und objectTransferred Transfer and Object und Object ist ein fall von Currency nicht, dann die Aussage Object ist ein fall von FoodForFn Human %n{nicht} oder Object ist ein fall von Beverage %n{nicht} hat die modale Kraft von 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	Wenn Object ist ein fall von WetBar %n{nicht}, dann es gibt Object und Object um Object ist ein fall von WashBasin %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Object %n{nicht} und Flat ist ein attribut von Object %n{nicht} und Object hat Zweck von es gibt entity und entity um entity ist ein fall von Making %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein fall von PreparedFood %n{nicht} oder entity ist ein fall von Beverage %n{nicht} und eventLocated entity and Object %n{nicht} und Object ist ein teil von Object %n{nicht}

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: