Sauce - Sigma Knowledge base Browser

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 2069-2071
(subclass Sauce Colloid)	Food.kif 2068-2068	Sauce is a subclass of colloid
(subclass Sauce PreparedFood)	Food.kif 2067-2067	Sauce is a subclass of prepared food

appearance as argument number 2

(disjoint Soup Sauce)	Food.kif 1653-1653	Soup is disjoint from sauce
(subclass Aioli Sauce)	Food.kif 2082-2082	Aioli is a subclass of sauce
(subclass Ketchup Sauce)	Food.kif 2621-2621	Ketchup is a subclass of sauce
(subclass Mayonnaise Sauce)	Food.kif 2662-2662	Mayonnaise is a subclass of sauce
(termFormat EnglishLanguage Sauce "sauce")	Food.kif 2072-2072	Mayonnaise is a subclass of sauce

antecedent

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

Food.kif 2074-2080