TreeView Knowledge Base Browser - roastedToTemperature

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

roastedToTemperature

Sigma KEE - roastedToTemperature

roastedToTemperature

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 461-462
No TPTP formula. May not be expressible in strict first order.	Food.kif 464-464	The number 1 argument of roasted to temperature is an instance of food
No TPTP formula. May not be expressible in strict first order.	Food.kif 465-465	The number 2 argument of roasted to temperature is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 460-460	roasted to temperature is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 466-466
No TPTP formula. May not be expressible in strict first order.	Food.kif 719-719	optimal grind size for making coffee is internally related to roasted to temperature
No TPTP formula. May not be expressible in strict first order.	Food.kif 463-463

antecedent

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 468-478	If a food is an instance of object and a real number is the temperature at which the food is roasted to, then there exists a process such that the process is an instance of heating and the food is a patient of the process and the measure of the food is the real number celsius degree(s) holds during the end of the time of existence of the process
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

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