Tea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Tea

Tea(tea)

more pictures...

cambric_tea, cuppa, cupper, ice_tea, iced_tea, sun_tea, tea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1806-1807
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3213-3213
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3216-3216
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3215-3215
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2997-2997
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3214-3214
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31420-31420	roomTempState tea and liquid
No TPTP formula. May not be expressible in strict first order.	Food.kif 1805-1805	Tea is a subclass of beverage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57145-57145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57144-57144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57143-57143

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1731-1746	If a collection is an instance of meal and a physical is a member of the collection and the physical is an instance of coffee or the physical is an instance of tea and another physical is a member of the collection and the other physical is an instance of juice and a third physical is a member of the collection and the third physical is an instance of bread or biscuit and the third physical is a member of the collection and the third physical is an instance of butter and the other physicalA is a member of the collection and the other physicalA is an instance of jam, then continental breakfast is an attribute of the collection
No TPTP formula. May not be expressible in strict first order.	Food.kif 1809-1814	If every tea is initially part of a a kind of object, then a kind of object is equal to tea bud or the kind of object is equal to tea leaf or the kind of object is equal to tea twig
No TPTP formula. May not be expressible in strict first order.	Food.kif 1816-1818	If an object is an instance of tea, then caffeinated is an attribute of the object

consequent

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

Food.kif 1835-1842

If a collection is an instance of meal and high tea is an attribute of the collection,
then there exists a physical such that the physical is an instance of tea and the physical is a member of the collection

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