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(coffee)

cafe_au_lait, cafe_noir, coffee, coffee_substitute, decaf, decaffeinated_coffee, demitasse, drip_coffee, ice_coffee, iced_coffee, instant_coffee, java, mocha, mocha_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	Every coffee is initially part of a coffee bean
(relatedInternalConcept Coffee CoffeeGrindAttribute)	Food.kif 630-630	Coffee is internally related to coffee grind attribute
(relatedInternalConcept Coffee CoffeeRoastAttribute)	Food.kif 631-631	Coffee is internally related to coffee roast attribute
(roomTempState Coffee Liquid)	Food.kif 629-629	roomTempState coffee and liquid
(subclass Coffee Beverage)	Food.kif 628-628	Coffee is a subclass of beverage

appearance as argument number 2

(subclass Americano Coffee)	Food.kif 1303-1303	Americano is a subclass of coffee
(subclass Cappuccino Coffee)	Food.kif 1264-1264	Cappuccino is a subclass of coffee
(subclass Espresso Coffee)	Food.kif 739-739	Espresso is a subclass of coffee
(subclass FlatWhite Coffee)	Food.kif 1334-1334	Flat white is a subclass of coffee
(subclass Instant Coffee)	Food.kif 1455-1455	Instant is a subclass of coffee
(subclass Latte Coffee)	Food.kif 1387-1387	Latte is a subclass of coffee
(subclass LongBlack Coffee)	Food.kif 1417-1417	Long black is a subclass of coffee
(subclass Lungo Coffee)	Food.kif 764-764	Lungo is a subclass of coffee
(subclass Manilo Coffee)	Food.kif 1454-1454	Manilo is a subclass of coffee
(subclass TurkishCoffee Coffee)	Food.kif 1453-1453	TurkishCoffee is a subclass of coffee
(subclass VietnameseCoffee Coffee)	Food.kif 1452-1452	VietnameseCoffee is a subclass of coffee
(termFormat ChineseLanguage Coffee "咖啡")	domainEnglishFormat.kif 15504-15504	VietnameseCoffee is a subclass of coffee
(termFormat ChineseTraditionalLanguage Coffee "咖啡")	domainEnglishFormat.kif 15503-15503	VietnameseCoffee is a subclass of coffee
(termFormat EnglishLanguage Coffee "coffee")	domainEnglishFormat.kif 15502-15502	VietnameseCoffee is a subclass of coffee
(typicallyContainsPart Caffeine Coffee)	Food.kif 635-635	A coffee typically has a part caffeine

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	If a collection is an instance of meal and a physical is a member of the collection and the physical is an instance of coffee or the physical is an instance of tea and another physical is a member of the collection and the other physical is an instance of juice and a third physical is a member of the collection and the third physical is an instance of bread or biscuit and the third physical is a member of the collection and the third physical is an instance of butter and the other physicalA is a member of the collection and the other physicalA is an instance of jam, then continental breakfast is an attribute of the collection
(=> (instance ?C Coffee) (attribute ?C CaffeinatedAttribute))	Food.kif 637-639	If an object is an instance of coffee, then caffeinated is an attribute of the object
(=> (instance ?C Coffee) (material DrinkingWater ?C))	Food.kif 641-643	If a corpuscular object is an instance of coffee, then the corpuscular object is made of potable water
(=> (subclass ?CLASS Coffee) (initialPart CoffeeBean ?CLASS))	Food.kif 645-647	If a kind of object is a subclass of coffee, then every coffee bean is initially part of a a kind of 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	If a physical is an instance of coffee maker, then the physical has the purpose there exist the physicalOFFEE and another entity such that the other entity is an instance of coffee making and the physical is an instrument for the other entity and the physicalOFFEE is a result of the other entity and the physicalOFFEE is an instance of coffee
(=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C))))	Food.kif 657-662	If a process is an instance of coffee making, then there exists an entity such that the entity is an instance of coffee and the entity is a result of the process
(=> (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	If a process is an instance of coffee making, then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of coffee
(=> (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	If an agent is an instance of coffee shop, then there exist a process and an entity such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process and the entity is an instance of coffee
(=> (instance ?EM EspressoMaking) (exists (?C) (and (result ?EM ?C) (instance ?C Coffee))))	Food.kif 792-797	If a process is an instance of espresso making, then there exists an entity such that the entity is a result of the process and the entity is an instance of coffee

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