TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ViennaRoast EnglishLanguage "ViennaRoast are CoffeeBeans that are roasted to around 230°C (446°F). [Wikipedia]")	Food.kif 593-594
(instance ViennaRoast CoffeeRoastAttribute)	Food.kif 592-592	Vienna roast is an instance of coffee roast attribute

appearance as argument number 2

(termFormat EnglishLanguage ViennaRoast "Vienna roast")

Food.kif 595-595

antecedent

(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B ViennaRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 230))

Food.kif 597-602

If a food is an instance of coffee bean and Vienna roast is an attribute of the food and a real number is the temperature at which the food is roasted to,
then the approximate value of the real number is 230