CoffeeBean - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CoffeeBean

CoffeeBean(coffee bean)

coffee, coffee_bean, coffee_berry

appearance as argument number 1

(documentation CoffeeBean EnglishLanguage "A CoffeeBean is a seed of the CoffeePlant and the source for coffee.")	Economy.kif 4626-4627
(externalImage CoffeeBean "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c5/ Roasted_coffee_beans.jpg/ 800px-Roasted_coffee_beans.jpg")	pictureList.kif 1433-1433
(subclass CoffeeBean FoodFromPlant)	Economy.kif 4625-4625	Coffee bean is a subclass of food from plant
(subclass CoffeeBean Seed)	Economy.kif 4624-4624	Coffee bean is a subclass of seed

appearance as argument number 2

(initialPart Coffee CoffeeBean)	Food.kif 634-634	Every coffee is initially part of a coffee bean
(subclass CoffeeArabica CoffeeBean)	Economy.kif 4636-4636	Coffee arabica is a subclass of coffee bean
(subclass CoffeeRobusta CoffeeBean)	Economy.kif 4660-4660	Coffee robusta is a subclass of coffee bean
(termFormat ChineseLanguage CoffeeBean "咖啡豆")	domainEnglishFormat.kif 15516-15516	Coffee robusta is a subclass of coffee bean
(termFormat ChineseTraditionalLanguage CoffeeBean "咖啡豆")	domainEnglishFormat.kif 15515-15515	Coffee robusta is a subclass of coffee bean
(termFormat EnglishLanguage CoffeeBean "coffee bean")	domainEnglishFormat.kif 15514-15514	Coffee robusta is a subclass of coffee bean

antecedent

(=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant))	Economy.kif 4629-4634	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of coffee bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a coffee plant
(=> (and (instance ?B CoffeeBean) (attribute ?B AmericanRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 210))	Food.kif 547-552	If a food is an instance of coffee bean and American roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 210
(=> (and (instance ?B CoffeeBean) (attribute ?B CinnamonRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 196))	Food.kif 509-514	If a food is an instance of coffee bean and cinnamon roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 196
(=> (and (instance ?B CoffeeBean) (attribute ?B CityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 219))	Food.kif 559-564	If a food is an instance of coffee bean and city roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 219
(=> (and (instance ?B CoffeeBean) (attribute ?B DarkRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 225) (lessThanOrEqualTo ?T 245)))	Food.kif 571-578	If a food is an instance of coffee bean and dark roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the real number is greater than or equal to 225 and the real number is less than or equal to 245
(=> (and (instance ?B CoffeeBean) (attribute ?B FrenchRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 240))	Food.kif 609-614	If a food is an instance of coffee bean and French roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 240
(=> (and (instance ?B CoffeeBean) (attribute ?B FullyCityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 225))	Food.kif 585-590	If a food is an instance of coffee bean and full city roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 225
(=> (and (instance ?B CoffeeBean) (attribute ?B ItalianRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 245))	Food.kif 621-626	If a food is an instance of coffee bean and Italian roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 245
(=> (and (instance ?B CoffeeBean) (attribute ?B LightRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 196) (lessThanOrEqualTo ?T 205)))	Food.kif 495-502	If a food is an instance of coffee bean and light roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the real number is greater than or equal to 196 and the real number is less than or equal to 205
(=> (and (instance ?B CoffeeBean) (attribute ?B MediumRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 210) (lessThanOrEqualTo ?T 219)))	Food.kif 533-540	If a food is an instance of coffee bean and medium roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the real number is greater than or equal to 210 and the real number is less than or equal to 219
(=> (and (instance ?B CoffeeBean) (attribute ?B NewEnglandRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 205))	Food.kif 521-526	If a food is an instance of coffee bean and New England roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 205
(=> (and (instance ?B CoffeeBean) (attribute ?B ViennaRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 230))	Food.kif 597-602	If a food is an instance of coffee bean and Vienna roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 230
(=> (and (instance ?C CoffeeBean) (attribute ?C ?R)) (instance ?R CoffeeRoastAttribute))	Food.kif 454-458	If an object is an instance of coffee bean and an attribute is an attribute of the object, then the attribute is an instance of coffee roast attribute
(=> (and (roastedToTemperature ?B ?T) (instance ?B CoffeeBean) (instance ?T RealNumber)) (modalAttribute (exists (?R) (and (instance ?R DryRoasting) (patient ?R ?B))) Likely))	Food.kif 479-488	If a real number is the temperature at which a food is roasted to and the food is an instance of coffee bean and the real number is an instance of real number, then the statement there exists an entity such that the entity is an instance of dry roasting and the food is a patient of the entity has the modal force of likely

consequent

(=> (instance ?CG CoffeeGrind) (exists (?B ?A ?C) (and (instance ?B CoffeeBean) (attribute ?B ?A) (instance ?A CoffeeRoastAttribute) (attribute ?CG ?C) (instance ?C CoffeeGrindAttribute))))	Food.kif 1044-1052	If an object is an instance of coffee grind, then there exist another object, an attribute and another attribute such that the other object is an instance of coffee bean and the attribute is an attribute of the other object and the attribute is an instance of coffee roast attribute and the other attribute is an attribute of the object and the other attribute is an instance of coffee grind attribute
(=> (instance ?CG CoffeeGrind) (exists (?G ?CB) (and (instance ?G Grinding) (patient ?G ?CB) (instance ?CB CoffeeBean) (attribute ?CB CookedAttribute) (result ?G ?CG))))	Food.kif 1034-1042	If an entity is an instance of coffee grind, then there exist a process and an object such that the process is an instance of grinding and the object is a patient of the process and the object is an instance of coffee bean and cooked is an attribute of the object and the entity is a result of the process
(=> (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

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