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 ist eine teilkategorie von Colloid
(subclass Sauce PreparedFood)	Food.kif 2061-2061	Sauce ist eine teilkategorie von PreparedFood

appearance as argument number 2

(disjoint Soup Sauce)	Food.kif 1647-1647	Soup ist dijunkt von Sauce %n{nicht}
(subclass Aioli Sauce)	Food.kif 2076-2076	Aioli ist eine teilkategorie von Sauce
(subclass Ketchup Sauce)	Food.kif 2614-2614	Ketchup ist eine teilkategorie von Sauce
(subclass Mayonnaise Sauce)	Food.kif 2655-2655	Mayonnaise ist eine teilkategorie von 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

Wenn Object ist ein fall von Sauce %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von Substance %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und Liquid ist ein attribut von ** ** Object %n{nicht}