TreeView Knowledge Base Browser

appearance as argument number 1

(documentation FullyCityRoast EnglishLanguage "FullyCityRoast are CoffeeBeans that are roasted to around 225°C (437°F). [Wikipedia]")	Food.kif 581-582
(instance FullyCityRoast CoffeeRoastAttribute)	Food.kif 580-580	Full city roast is an instance of coffee roast attribute

appearance as argument number 2

Food.kif 583-583

antecedent

(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B FullyCityRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 225))

Food.kif 585-590

If a food is an instance of coffee bean and full city 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 225