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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoupStock
SoupStock(soup stock)
beef_broth, beef_stock, bouillon, broth, chicken_broth, chicken_stock, stock, stock_cube

appearance as argument number 1
-------------------------


(documentation SoupStock EnglishLanguage "Food which is prepared by reducing Meat and/ or FruitOrVegetables to a translucent broth which can be used as a base for soups or sauces.") Food.kif 1627-1629
(externalImage SoupStock "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Romanian_potato_soup.jpg") pictureList.kif 8725-8725
(externalImage SoupStock "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Soup_shp.jpg") pictureList.kif 9673-9673
(externalImage SoupStock "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Vegetable_beef_barley_soup.jpg") pictureList.kif 9674-9674
(roomTempState SoupStock Liquid) Food.kif 1626-1626 room temperature state soup stock and liquid
(subclass SoupStock PreparedFood) Food.kif 1624-1624 Soup stock is a subclass of prepared food
(subclass SoupStock Soup) Food.kif 1625-1625 Soup stock is a subclass of soup

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


(names "Broth" SoupStock) Food.kif 1630-1630 Soup stock has name "Broth"
(termFormat ChineseLanguage SoupStock "高汤") domainEnglishFormat.kif 54057-54057 Soup stock has name "Broth"
(termFormat ChineseTraditionalLanguage SoupStock "高湯") domainEnglishFormat.kif 54056-54056 Soup stock has name "Broth"
(termFormat EnglishLanguage SoupStock "soup stock") domainEnglishFormat.kif 54055-54055 Soup stock has name "Broth"

antecedent
-------------------------


(=>
    (instance ?S SoupStock)
    (attribute ?S Translucent))
Food.kif 1647-1649
(=>
    (instance ?S SoupStock)
    (exists (?H)
        (and
            (instance ?H Heating)
            (result ?H ?S))))
Food.kif 1632-1637

consequent
-------------------------


(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))
Food.kif 1639-1645


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