SoupStock - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Food.kif 1621-1623
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8726-8726
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9674-9674
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9675-9675
No TPTP formula. May not be expressible in strict first order.	Food.kif 1620-1620	roomTempState soup stock and liquid
No TPTP formula. May not be expressible in strict first order.	Food.kif 1618-1618	Soup stock is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 1619-1619	Soup stock is a subclass of soup

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1624-1624	Soup stock has name "Broth"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54024-54024
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54023-54023
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54022-54022

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1641-1643	If an object is an instance of soup stock, then translucent is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1626-1631	If an entity is an instance of soup stock, then there exists a process such that the process is an instance of heating and the entity is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 1633-1639

If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water,
then the kind of object is equal to soup stock

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