|
|
  LightRoast
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LightRoast EnglishLanguage "LightRoast are CoffeeBeans that are roasted to between 196°C (385°F) and 205°C (401°F). [Wikipedia]") | Food.kif 491-492 | |
| (instance LightRoast CoffeeRoastAttribute) | Food.kif 490-490 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LightRoast "light roast") | Food.kif 493-493 |
| antecedent |
|
|
| (=> (and (instance ?B CoffeeBean) (attribute ?B LightRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 196) (lessThanOrEqualTo ?T 205))) |
Food.kif 495-502 |
|
|
|