DarkRoast - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DarkRoast EnglishLanguage "DarkRoast are CoffeeBeans that are roasted to between 225°C (437°F) and 245°C (473°F). [Wikipedia]")	Food.kif 567-568
(instance DarkRoast CoffeeRoastAttribute)	Food.kif 566-566	Dark roast is an instance of coffee roast attribute

appearance as argument number 2

(termFormat EnglishLanguage DarkRoast "dark roast")

Food.kif 569-569

antecedent

(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B DarkRoast)
        (roastedToTemperature ?B ?T))
    (and
        (greaterThanOrEqualTo ?T 225)
        (lessThanOrEqualTo ?T 245)))

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