Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Soup
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Soup CookedDish) | Food.kif 1631-1631 | Soup is a subclass of cooked dish |
| (roomTempState Soup Liquid) | Food.kif 1632-1632 | room temperature state soup and liquid |
| (disjoint Soup Sauce) | Food.kif 1633-1633 | Soup is disjoint from sauce |
| (disjoint Soup Beverage) | Food.kif 1634-1634 | Soup is disjoint from beverage |
| (documentation Soup EnglishLanguage "Soup is a CookDish that is not a Sauce nor a Beverage.") | Food.kif 1635-1635 | Soup is disjoint from beverage |
| appearance as argument number 2 |
|
|
| (subclass SoupStock Soup) | Food.kif 1605-1605 | Soup stock is a subclass of soup |
| (termFormat EnglishLanguage Soup "soup") | Food.kif 1636-1636 | Soup stock is a subclass of soup |
|