CoffeeRoastAttribute
|
|
appearance as argument number 1 |
(documentation CoffeeRoastAttribute EnglishLanguage "CoffeeRoastAttribute is a Class of RelationalAttribute used to describe the degree of Heating the CoffeeBeans are subjected to.") | Food.kif 449-451 | |
(relatedInternalConcept CoffeeRoastAttribute CoffeeGrindAttribute) | Food.kif 448-448 | CoffeeRoastAttribute は CoffeeGrindAttribute に internally 関連して %n |
(subclass CoffeeRoastAttribute RelationalAttribute) | Food.kif 447-447 | CoffeeRoastAttribute は 関係属性 の subclass では %n |
appearance as argument number 2 |
consequent |
(=> (and (instance ?C CoffeeBean) (attribute ?C ?R)) (instance ?R CoffeeRoastAttribute)) |
Food.kif 454-458 |
|
(=> (instance ?CG CoffeeGrind) (exists (?B ?A ?C) (and (instance ?B CoffeeBean) (attribute ?B ?A) (instance ?A CoffeeRoastAttribute) (attribute ?CG ?C) (instance ?C CoffeeGrindAttribute)))) |
Food.kif 1044-1052 |