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

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4626-4627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1433-1433
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4625-4625	Coffee bean is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4624-4624	Coffee bean is a subclass of seed

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 634-634	Every coffee is initially part of a coffee bean
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4636-4636	Coffee arabica is a subclass of coffee bean
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4660-4660	Coffee robusta is a subclass of coffee bean
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15500-15500
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15499-15499
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15498-15498

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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