Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoffeeRoastAttribute(coffee roast attribute) |
| appearance as argument number 1 |
|
| (subclass CoffeeRoastAttribute RelationalAttribute) | Food.kif 423-423 | Coffee roast attribute is a subclass of relational attribute |
| (relatedInternalConcept CoffeeRoastAttribute CoffeeGrindAttribute) | Food.kif 424-424 | Coffee roast attribute is internally related to coffee grind attribute |
| (documentation CoffeeRoastAttribute EnglishLanguage "CoffeeRoastAttribute is a Class of RelationalAttribute used to describe the degree of Heating the CoffeeBeans are subjected to.") | Food.kif 425-427 | Coffee roast attribute is internally related to coffee grind attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?C CoffeeBean) (attribute ?C ?R)) (instance ?R CoffeeRoastAttribute)) |
Food.kif 430-434 | If X is an instance of coffee bean and Y is an attribute of X, then Y is an instance of coffee roast attribute |
| (=> (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 1022-1030 | If X is an instance of coffee grind, then there exist Y, Z, W such that Y is an instance of coffee bean, Z is an attribute of Y, Z is an instance of coffee roast attribute, W is an attribute of X, and W is an instance of coffee grind attribute |
|