Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| roastedToTemperature |
| appearance as argument number 1 |
|
| (instance roastedToTemperature BinaryPredicate) | Food.kif 436-436 | roasted to temperature is an instance of binary predicate |
| (documentation roastedToTemperature EnglishLanguage "roastedToTemperature is a BinaryRelation linking the temperature in Celsius of the Object that are roasted to.") | Food.kif 437-438 | roasted to temperature is an instance of binary predicate |
| (domain roastedToTemperature 1 Food) | Food.kif 440-440 | The number 1 argument of roasted to temperature is an instance of food |
| (domain roastedToTemperature 2 RealNumber) | Food.kif 441-441 | The number 2 argument of roasted to temperature is an instance of real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage roastedToTemperature "roasted to temperature") | Food.kif 439-439 | |
| (format EnglishLanguage roastedToTemperature "%2 is the temperature at which %1 is roasted to") | Food.kif 442-442 | |
| (relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature) | Food.kif 695-695 | optimal grind size for making coffee is internally related to roasted to temperature |
| antecedent |
|
|
| (=> (and (instance ?B Object) (roastedToTemperature ?B ?T)) (exists (?H) (and (instance ?H Heating) (patient ?H ?B) (holdsDuring (EndFn (WhenFn ?H)) (measure ?B (MeasureFn ?T CelsiusDegree)))))) |
Food.kif 444-454 | If X is an instance of object and Y is the temperature at which X is roasted to, then there exists Z such that Z is an instance of heating and X is a patient of Z and the measure of X is Y celsius degree(s) holds during the end of the time of existence of Z |
| (=> (and (roastedToTemperature ?B ?T) (instance ?B CoffeeBean) (instance ?T RealNumber)) (modalAttribute (exists (?R) (and (instance ?R DryRoasting) (patient ?R ?B))) Likely)) |
Food.kif 455-464 | If X is the temperature at which Y is roasted to, Y is an instance of coffee bean, and X is an instance of real number, then the statement there exists Z such that Z is an instance of dry roasting and Y is a patient of Z has the modal force of likely |
| (=> (and (instance ?B CoffeeBean) (attribute ?B LightRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 196) (lessThanOrEqualTo ?T 205))) |
Food.kif 471-478 | If X is an instance of coffee bean, light roast is an attribute of X, and Y is the temperature at which X is roasted to, then Y is greater than or equal to 196 and Y is less than or equal to 205 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B CinnamonRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 196)) |
Food.kif 485-490 | If X is an instance of coffee bean, cinnamon roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 196 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B NewEnglandRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 205)) |
Food.kif 497-502 | If X is an instance of coffee bean, New England roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 205 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B MediumRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 210) (lessThanOrEqualTo ?T 219))) |
Food.kif 509-516 | If X is an instance of coffee bean, medium roast is an attribute of X, and Y is the temperature at which X is roasted to, then Y is greater than or equal to 210 and Y is less than or equal to 219 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B AmericanRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 210)) |
Food.kif 523-528 | If X is an instance of coffee bean, American roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 210 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B CityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 219)) |
Food.kif 535-540 | If X is an instance of coffee bean, city roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 219 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B DarkRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 225) (lessThanOrEqualTo ?T 245))) |
Food.kif 547-554 | If X is an instance of coffee bean, dark roast is an attribute of X, and Y is the temperature at which X is roasted to, then Y is greater than or equal to 225 and Y is less than or equal to 245 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B FullyCityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 225)) |
Food.kif 561-566 | If X is an instance of coffee bean, full city roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 225 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B ViennaRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 230)) |
Food.kif 573-578 | If X is an instance of coffee bean, Vienna roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 230 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B FrenchRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 240)) |
Food.kif 585-590 | If X is an instance of coffee bean, French roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 240 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B ItalianRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 245)) |
Food.kif 597-602 | If X is an instance of coffee bean, Italian roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 245 |
|