Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sauce

Sigma KEE - Sauce
Sauce

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 and 膠體
(subclass Sauce PreparedFood) Food.kif 2061-2061 子類 Sauce and 已準備食物

appearance as argument number 2
-------------------------


(disjoint Soup Sauce) Food.kif 1647-1647 不相交的 Soup and Sauce
(subclass Aioli Sauce) Food.kif 2076-2076 子類 Aioli and Sauce
(subclass Ketchup Sauce) Food.kif 2614-2614 子類 Ketchup and Sauce
(subclass Mayonnaise Sauce) Food.kif 2655-2655 子類 Mayonnaise and 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners