LightRoast - Sigma Knowledge base Browser

appearance as argument number 1

(documentation LightRoast EnglishLanguage "LightRoast are CoffeeBeans that are roasted to between 196°C (385°F) and 205°C (401°F). [Wikipedia]")	Food.kif 491-492
(instance LightRoast CoffeeRoastAttribute)	Food.kif 490-490	Light roast is an instance of coffee roast attribute

appearance as argument number 2

(termFormat EnglishLanguage LightRoast "light roast")

Food.kif 493-493

antecedent

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