|
|
   SoupStock
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SoupStock EnglishLanguage "Food which is prepared by reducing Meat and/ or FruitOrVegetables to a translucent broth which can be used as a base for soups or sauces.") | Food.kif 1621-1623 | |
| (externalImage SoupStock "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Romanian_potato_soup.jpg") | pictureList.kif 8726-8726 | |
| (externalImage SoupStock "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Soup_shp.jpg") | pictureList.kif 9674-9674 | |
| (externalImage SoupStock "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Vegetable_beef_barley_soup.jpg") | pictureList.kif 9675-9675 | |
| (roomTempState SoupStock Liquid) | Food.kif 1620-1620 | |
| (subclass SoupStock PreparedFood) | Food.kif 1618-1618 | |
| (subclass SoupStock Soup) | Food.kif 1619-1619 |
| appearance as argument number 2 |
|
|
| (names "Broth" SoupStock) | Food.kif 1624-1624 | |
| (termFormat ChineseLanguage SoupStock "高汤") | domainEnglishFormat.kif 54026-54026 | |
| (termFormat ChineseTraditionalLanguage SoupStock "高湯") | domainEnglishFormat.kif 54025-54025 | |
| (termFormat EnglishLanguage SoupStock "soup stock") | domainEnglishFormat.kif 54024-54024 |
| antecedent |
|
|
| (=> (instance ?S SoupStock) (attribute ?S Translucent)) |
Food.kif 1641-1643 | |
| (=> (instance ?S SoupStock) (exists (?H) (and (instance ?H Heating) (result ?H ?S)))) |
Food.kif 1626-1631 |
| consequent |
|
|
| (=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1633-1639 |
|
|
|
