TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage LightRoast "light roast")

antecedent

(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B LightRoast)
        (roastedToTemperature ?B ?T))
    (and
        (greaterThanOrEqualTo ?T 196)
        (lessThanOrEqualTo ?T 205)))

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