|
|
   Sauce
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Sauce EnglishLanguage "A Sauce is a liquid, cream, or semi-solid food, served on or used in preparing other foods. Sauces has a liquid component. [Wikipeida]") | Food.kif 2063-2065 | |
| (subclass Sauce Colloid) | Food.kif 2062-2062 | Sauce is a subclass of colloid |
| (subclass Sauce PreparedFood) | Food.kif 2061-2061 | Sauce is a subclass of prepared food |
| appearance as argument number 2 |
|
|
| (disjoint Soup Sauce) | Food.kif 1647-1647 | Soup is disjoint from sauce |
| (subclass Aioli Sauce) | Food.kif 2076-2076 | Aioli is a subclass of sauce |
| (subclass Ketchup Sauce) | Food.kif 2614-2614 | Ketchup is a subclass of sauce |
| (subclass Mayonnaise Sauce) | Food.kif 2655-2655 | Mayonnaise is a subclass of sauce |
| (termFormat EnglishLanguage Sauce "sauce") | Food.kif 2066-2066 |
| antecedent |
|
|
| (=> (instance ?S Sauce) (exists (?X) (and (instance ?X Substance) (part ?X ?S) (attribute ?X Liquid)))) |
Food.kif 2068-2074 |
|
|
|
|