Tea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Tea EnglishLanguage "A Beverage which is prepared by infusing TeaPlantAerialPart into hot water.")	Food.kif 1806-1807
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/1/14/Darjeeling-tea-first-flush-in-cup.jpg")	pictureList.kif 3213-3213
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/5/54/Loose_leaf_darjeeling_tea_twinings.jpg")	pictureList.kif 3216-3216
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/8/80/Tea_bags.jpg")	pictureList.kif 3215-3215
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/c/cb/Tea_leaves_steeping_in_a_zhong_%C4%8Daj_05.jpg")	pictureList.kif 2997-2997
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/d/d1/Teaproducingcountries.svg")	pictureList.kif 3214-3214
(roomTempState Tea Liquid)	Mid-level-ontology.kif 31685-31685	roomTempState tea and liquid
(subclass Tea Beverage)	Food.kif 1805-1805	Tea is a subclass of beverage

appearance as argument number 2

(termFormat ChineseLanguage Tea "茶")	domainEnglishFormat.kif 57187-57187
(termFormat ChineseTraditionalLanguage Tea "茶")	domainEnglishFormat.kif 57186-57186
(termFormat EnglishLanguage Tea "tea")	domainEnglishFormat.kif 57185-57185

antecedent

(=> (and (instance ?M Meal) (member ?H ?M) (or (instance ?H Coffee) (instance ?H Tea)) (member ?J ?M) (instance ?J Juice) (member ?B ?M) (instance ?B BreadOrBiscuit) (member ?B ?M) (instance ?B Butter) (member ?JA ?M) (instance ?JA Jam)) (attribute ?M ContinentalBreakfast))	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
(=> (initialPart Tea ?TEA) (or (equal ?TEA TeaBud) (equal ?TEA TeaLeaf) (equal ?TEA TeaTwig)))	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
(=> (instance ?T Tea) (attribute ?T CaffeinatedAttribute))	Food.kif 1816-1818	If an object is an instance of tea, then caffeinated is an attribute of the object

consequent

(=>
    (and
        (instance ?X Meal)
        (attribute ?X HighTea))
    (exists (?TEA)
        (and
            (instance ?TEA Tea)
            (member ?TEA ?X))))

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

KB Term:			Term intersection

English Word: