Sauce - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Sauce PreparedFood)	Food.kif 2076-2076	Sauce is a subclass of food
(subclass Sauce Colloid)	Food.kif 2077-2077	Sauce is a subclass of colloid
(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 2078-2080	Sauce is a subclass of colloid

appearance as argument number 2

(disjoint Soup Sauce)	Food.kif 1633-1633	Soup is disjoint from sauce
(termFormat EnglishLanguage Sauce "sauce")	Food.kif 2081-2081	Soup is disjoint from sauce
(subclass Aioli Sauce)	Food.kif 2091-2091	Aioli is a subclass of sauce
(subclass Ketchup Sauce)	Food.kif 2640-2640	Ketchup is a subclass of sauce
(subclass Mayonnaise Sauce)	Food.kif 2683-2683	Mayonnaise is a subclass of sauce

antecedent

(=>
    (instance ?S Sauce)
    (exists (?X)
        (and
            (instance ?X Substance)
            (part ?X ?S)
            (attribute ?X Liquid))))

If X is an instance of sauce, then there exists Y such that Y is an instance of substance, Y is a part of X, and liquid is an attribute of Y