TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MediumRoast EnglishLanguage "MeidumRoast are CoffeeBeans that are roasted to between 210°C (410°F) and 219°C (426°F). [Wikipedia]")	Food.kif 529-530
(instance MediumRoast CoffeeRoastAttribute)	Food.kif 528-528	Medium roast is an instance of coffee roast attribute

appearance as argument number 2

(termFormat EnglishLanguage MediumRoast "medium roast")

Food.kif 531-531

antecedent

(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B MediumRoast)
        (roastedToTemperature ?B ?T))
    (and
        (greaterThanOrEqualTo ?T 210)
        (lessThanOrEqualTo ?T 219)))

Food.kif 533-540

If a food is an instance of coffee bean and medium 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 210 and the real number is less than or equal to 219