Coffee - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Coffee

Coffee

appearance as argument number 1

(documentation Coffee EnglishLanguage "A Beverage which is prepared by infusing ground, roasted coffee beans into water.")	Food.kif 632-633
(externalImage Coffee "http://articulatesoftware.com/SUMOpictures/plants/ BW/ coffee.png")	pictureList.kif 356-356
(initialPart Coffee CoffeeBean)	Food.kif 634-634	initialPart Coffee and CoffeeBean
(relatedInternalConcept Coffee CoffeeGrindAttribute)	Food.kif 630-630	Coffee ist innerlich verwandt mit CoffeeGrindAttribute %n{nicht}
(relatedInternalConcept Coffee CoffeeRoastAttribute)	Food.kif 631-631	Coffee ist innerlich verwandt mit CoffeeRoastAttribute %n{nicht}
(roomTempState Coffee Liquid)	Food.kif 629-629	roomTempState Coffee and Liquid
(subclass Coffee Beverage)	Food.kif 628-628	Coffee ist eine teilkategorie von Beverage

appearance as argument number 2

(subclass Americano Coffee)	Food.kif 1303-1303	Americano ist eine teilkategorie von Coffee
(subclass Cappuccino Coffee)	Food.kif 1264-1264	Cappuccino ist eine teilkategorie von Coffee
(subclass Espresso Coffee)	Food.kif 739-739	Espresso ist eine teilkategorie von Coffee
(subclass FlatWhite Coffee)	Food.kif 1334-1334	FlatWhite ist eine teilkategorie von Coffee
(subclass Instant Coffee)	Food.kif 1455-1455	Instant ist eine teilkategorie von Coffee
(subclass Latte Coffee)	Food.kif 1387-1387	Latte ist eine teilkategorie von Coffee
(subclass LongBlack Coffee)	Food.kif 1417-1417	LongBlack ist eine teilkategorie von Coffee
(subclass Lungo Coffee)	Food.kif 764-764	Lungo ist eine teilkategorie von Coffee
(subclass Manilo Coffee)	Food.kif 1454-1454	Manilo ist eine teilkategorie von Coffee
(subclass TurkishCoffee Coffee)	Food.kif 1453-1453	TurkishCoffee ist eine teilkategorie von Coffee
(subclass VietnameseCoffee Coffee)	Food.kif 1452-1452	VietnameseCoffee ist eine teilkategorie von Coffee
(termFormat ChineseLanguage Coffee "咖啡")	domainEnglishFormat.kif 15488-15488
(termFormat ChineseTraditionalLanguage Coffee "咖啡")	domainEnglishFormat.kif 15487-15487
(termFormat EnglishLanguage Coffee "coffee")	domainEnglishFormat.kif 15486-15486
(typicallyContainsPart Caffeine Coffee)	Food.kif 635-635	typicallyContainsPart Caffeine and Coffee

antecedent

(=> (and (instance ?M Meal) (member ?H ?M) (or (instance ?H Coffee) (instance ?H Tea)) (member ?J ?M) (instance ?J Juice) (member ?B ?M) (instance ?B BreadOrBiscuit) (member ?B ?M) (instance ?B Butter) (member ?JA ?M) (instance ?JA Jam)) (attribute ?M ContinentalBreakfast))	Food.kif 1731-1746	Wenn Collection ist ein fall von Meal %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein fall von Coffee %n{nicht} oder Physical ist ein fall von Tea %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein fall von Juice %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein fall von BreadOrBiscuit %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein fall von Butter %n{nicht} und PhysicalA ist ein Mitglied von Collection %n{nicht} und PhysicalA ist ein fall von Jam %n{nicht}, dann ContinentalBreakfast ist ein attribut von Collection %n{nicht}
(=> (instance ?C Coffee) (attribute ?C CaffeinatedAttribute))	Food.kif 637-639	Wenn Object ist ein fall von Coffee %n{nicht}, dann CaffeinatedAttribute ist ein attribut von ** Object %n{nicht}
(=> (instance ?C Coffee) (material DrinkingWater ?C))	Food.kif 641-643	Wenn CorpuscularObject ist ein fall von Coffee %n{nicht}, dann DrinkingWater ist von ** CorpuscularObject gebildet
(=> (subclass ?CLASS Coffee) (initialPart CoffeeBean ?CLASS))	Food.kif 645-647	Wenn Object ist eine teilkategorie von Coffee, dann initialPart CoffeeBean and Object

consequent

(=> (instance ?C ElectricCoffeeMaker) (hasPurpose ?C (exists (?COFFEE ?M) (and (instance ?M CoffeeMaking) (instrument ?M ?C) (result ?M ?COFFEE) (instance ?COFFEE Coffee)))))	Food.kif 379-387	Wenn Physical ist ein fall von ElectricCoffeeMaker %n{nicht}, dann Physical hat Zweck von es gibt PhysicalOFFEE und entity um entity ist ein fall von CoffeeMaking %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und PhysicalOFFEE ist ein resultat von entity %n{nicht} und PhysicalOFFEE ist ein fall von Coffee %n{nicht} %n{nicht}
(=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C))))	Food.kif 657-662	Wenn Process ist ein fall von CoffeeMaking %n{nicht}, dann es gibt Entity um Entity ist ein fall von Coffee %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(=> (instance ?CM CoffeeMaking) (exists (?R ?LM ?CG ?W ?F ?C) (and (subProcess ?R ?CM) (instance ?R Removing) (origin ?R ?LM) (instance ?LM LiquidMixture) (part ?W ?LM) (instance ?W DrinkingWater) (part ?CG ?LM) (instance ?CG CoffeeGrind) (instrument ?R ?F) (instance ?F Filter) (result ?R ?C) (instance ?C Coffee))))	Food.kif 686-701	Wenn Process ist ein fall von CoffeeMaking %n{nicht}, dann es gibt Process, Object,, , Object,, , Object,, , Object, and und Entity um Process ist ein subProzess von Process und Process ist ein fall von Removing %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein fall von LiquidMixture %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von DrinkingWater %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von CoffeeGrind %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von Filter %n{nicht} und Entity ist ein resultat von Process %n{nicht} und ** Entity ist ein fall von Coffee %n{nicht}
(=> (instance ?COMPANY Coffeeshop) (exists (?SERVICE ?BEVERAGE) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Selling) (patient ?SERVICE ?BEVERAGE) (instance ?BEVERAGE Coffee))))	Dining.kif 36-44	Wenn AutonomousAgent ist ein fall von Coffeeshop %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von CommercialService %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von Selling %n{nicht} und Entity ist ein patient von Process %n{nicht} und ** Entity ist ein fall von Coffee %n{nicht}
(=> (instance ?EM EspressoMaking) (exists (?C) (and (result ?EM ?C) (instance ?C Coffee))))	Food.kif 792-797	Wenn Process ist ein fall von EspressoMaking %n{nicht}, dann es gibt Entity um Entity ist ein resultat von Process %n{nicht} und ** Entity ist ein fall von Coffee %n{nicht}

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