Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SoupStock
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Broth" SoupStock) | Food.kif 1610-1610 | Soup stock has name "Broth" |
| (termFormat EnglishLanguage SoupStock "soup stock") | domainEnglishFormat.kif 54019-54019 | Soup stock has name "Broth" |
| (termFormat ChineseTraditionalLanguage SoupStock "高湯") | domainEnglishFormat.kif 54020-54020 | Soup stock has name "Broth" |
| (termFormat ChineseLanguage SoupStock "高汤") | domainEnglishFormat.kif 54021-54021 | Soup stock has name "Broth" |
| antecedent |
|
|
| (=> (instance ?S SoupStock) (exists (?H) (and (instance ?H Heating) (result ?H ?S)))) |
Food.kif 1612-1617 | If X is an instance of soup stock, then there exists Y such that Y is an instance of heating and X is a result of Y |
| (=> (instance ?S SoupStock) (attribute ?S Translucent)) |
Food.kif 1627-1629 | If X is an instance of soup stock, then translucent is an attribute of X |
| consequent |
|
|
| (=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1619-1625 | If X is a subclass of mixture, every X is initially part of a meat, every X is initially part of a food from a plant, and every X is initially part of a potable water, then equal X and soup stock |
|
