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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoupStock

Sigma KEE - SoupStock
SoupStock

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 1621-1623
(externalImage SoupStock "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Romanian_potato_soup.jpg") pictureList.kif 8726-8726
(externalImage SoupStock "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Soup_shp.jpg") pictureList.kif 9674-9674
(externalImage SoupStock "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Vegetable_beef_barley_soup.jpg") pictureList.kif 9675-9675
(roomTempState SoupStock Liquid) Food.kif 1620-1620
(subclass SoupStock PreparedFood) Food.kif 1618-1618
(subclass SoupStock Soup) Food.kif 1619-1619

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


(names "Broth" SoupStock) Food.kif 1624-1624
(termFormat ChineseLanguage SoupStock "高汤") domainEnglishFormat.kif 54026-54026
(termFormat ChineseTraditionalLanguage SoupStock "高湯") domainEnglishFormat.kif 54025-54025
(termFormat EnglishLanguage SoupStock "soup stock") domainEnglishFormat.kif 54024-54024

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


(=>
    (instance ?S SoupStock)
    (attribute ?S Translucent))
Food.kif 1641-1643
(=>
    (instance ?S SoupStock)
    (exists (?H)
        (and
            (instance ?H Heating)
            (result ?H ?S))))
Food.kif 1626-1631

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


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


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