| 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 | |
| (subclass Sauce PreparedFood) | Food.kif 2061-2061 |
| appearance as argument number 2 |
|
|
| (disjoint Soup Sauce) | Food.kif 1647-1647 | |
| (subclass Aioli Sauce) | Food.kif 2076-2076 | |
| (subclass Ketchup Sauce) | Food.kif 2614-2614 | |
| (subclass Mayonnaise Sauce) | Food.kif 2655-2655 | |
| (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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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