Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Dough
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Dough PreparedFood) | Food.kif 1584-1584 | Dough is a subclass of food |
| (subclass Dough Mixture) | Food.kif 1585-1585 | Dough is a subclass of mixture |
| (documentation Dough EnglishLanguage "A Mixture of Flour, DrinkingWater, and possibly other ingredients (such as Butter and Salt), which is used in making BreadOrBiscuits or Pasta or noodles.") | Food.kif 1586-1588 | Dough is a subclass of mixture |
| (roomTempState Dough Solid) | Food.kif 1589-1589 | room temperature state dough and solid |
| (externalImage Dough "http://upload.wikimedia.org/wikipedia/commons/2/24/ Dough.jpg") | pictureList.kif 1475-1475 | room temperature state dough and solid |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?D Dough) (attribute ?D RawAttribute)) |
Food.kif 1591-1593 | If X is an instance of dough, then raw food is an attribute of X |
| (=> (instance ?D Dough) (exists (?F ?W) (and (instance ?F Flour) (instance ?W DrinkingWater) (part ?F ?D) (part ?W ?D)))) |
Food.kif 1595-1602 | If X is an instance of dough, then there exist Y, Z such that Y is an instance of flour, Z is an instance of potable water, Y is a part of X, and Z is a part of X |
| consequent |
|
|
| (=> (instance ?B BreadOrBiscuit) (exists (?D ?BAKE) (and (instance ?D Dough) (instance ?BAKE Baking) (resource ?BAKE ?D) (result ?BAKE ?B)))) |
Food.kif 1551-1558 | If X is an instance of bread or biscuit, then there exist Y, Z such that Y is an instance of dough, Z is an instance of baking, Y is a resource for Z, and X is a result of Z |
| (=> (instance ?P Pasta) (exists (?D ?C) (and (instance ?D Dough) (instance ?C Cooking) (resource ?C ?D) (result ?C ?P)))) |
Food.kif 2776-2783 | If X is an instance of pasta, then there exist Y, Z such that Y is an instance of dough, Z is an instance of cooking, Y is a resource for Z, and X is a result of Z |
|
