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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Soup

Sigma KEE - Soup
Soup(soup)

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


(disjoint Soup Beverage) Food.kif 1648-1648 Soup is disjoint from beverage
(disjoint Soup Sauce) Food.kif 1647-1647 Soup is disjoint from sauce
(documentation Soup EnglishLanguage "Soup is a CookDish that is not a Sauce nor a Beverage.") Food.kif 1649-1649
(roomTempState Soup Liquid) Food.kif 1646-1646 roomTempState soup and liquid
(subclass Soup CookedDish) Food.kif 1645-1645 Soup is a subclass of cooked dish

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


(subclass SoupStock Soup) Food.kif 1619-1619 Soup stock is a subclass of soup
(termFormat EnglishLanguage Soup "soup") Food.kif 1650-1650


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