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 e' uma sub-classe de Colloid
(subclass Sauce PreparedFood)	Food.kif 2061-2061	Sauce e' uma sub-classe de PreparedFood

appearance as argument number 2

(disjoint Soup Sauce)	Food.kif 1647-1647	Soup e' disjunto de Sauce
(subclass Aioli Sauce)	Food.kif 2076-2076	Aioli e' uma sub-classe de Sauce
(subclass Ketchup Sauce)	Food.kif 2614-2614	Ketchup e' uma sub-classe de Sauce
(subclass Mayonnaise Sauce)	Food.kif 2655-2655	Mayonnaise e' uma sub-classe de 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