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 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	Mayonnaise is a subclass of sauce

antecedent

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

Food.kif 2068-2074