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 液體
(subclass Beverage Colloid)	Food.kif 390-390	子類 Beverage and 膠體
(subclass Beverage PreparedFood)	Food.kif 389-389	子類 Beverage and 已準備食物

appearance as argument number 2

(disjoint Meat Beverage)	Food.kif 391-391	不相交的 Meat and Beverage
(disjoint Soup Beverage)	Food.kif 1648-1648	不相交的 Soup and Beverage
(subclass AlcoholicBeverage Beverage)	Mid-level-ontology.kif 10905-10905	子類酒精飲料 and Beverage
(subclass CaffeinateFreeTea Beverage)	Food.kif 1820-1820	子類 CaffeinateFreeTea and Beverage
(subclass Coffee Beverage)	Food.kif 628-628	子類咖啡 and Beverage
(subclass Pedialyte Beverage)	Medicine.kif 4808-4808	子類 Pedialyte and Beverage
(subclass ProcessedGoatMilk Beverage)	Food.kif 3043-3043	子類 ProcessedGoatMilk and Beverage
(subclass ProcessedMilk Beverage)	Food.kif 2827-2827	子類 ProcessedMilk and Beverage
(subclass Soda Beverage)	Food.kif 3431-3431	子類 Soda and Beverage
(subclass Tea Beverage)	Food.kif 1805-1805	子類茶 and 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

例 Object and Beverage
attribute Object and 液體

consequent

(=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage))	Mid-level-ontology.kif 4715-4719	例 SelfConnectedObject and 喝水杯包含 SelfConnectedObject and Object 例 Object and Beverage
(=> (and (instance ?DRINK Drinking) (patient ?DRINK ?BEV)) (instance ?BEV Beverage))	Food.kif 399-403	例 Process and Drinking 患者 Process and Entity 例 Entity and Beverage
(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage))	Dining.kif 208-212	例 Catalog and BeverageMenu Entity 是在 Catalog 子類 Entity and 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	例 Collection and Organization attribute Collection and 飲料和煙草製品製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Beverage 例 Entity and 煙草製品患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
(=> (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	例 Collection and Organization attribute Collection and 食品和飲料店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity 例 AutonomousAgent and Selling 例 Entity and food for Animal 例 Entity and Beverage 患者 AutonomousAgent and Entity
(=> (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	例 Transfer and Vending objectTransferred Transfer and Object 例 Object and 貨幣模態屬性例 Object and food for Human 例 Object and Beverage and 容易
(=> (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	例 Object and WetBar Object Object 例 Object and 洗手盆部分 Object and Object 例 Object and Object attribute Object and 平面有目的 Object and entity entity 例 entity and Making 結果 entity and entity 例 entity and 已準備食物例 entity and Beverage entity 是 located 在 Object 部分 Object and 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: