(=>
(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 |
