Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Tea Beverage) Food.kif 1818-1818 Tea is a subclass of beverage
(documentation Tea EnglishLanguage "A Beverage which is prepared by infusing TeaPlantAerialPart into hot water.") Food.kif 1819-1820 Tea is a subclass of beverage
(roomTempState Tea Liquid) Food.kif 1821-1821 room temperature state tea and liquid
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/c/cb/Tea_leaves_steeping_in_a_zhong_%C4%8Daj_05.jpg") pictureList.kif 2996-2996 room temperature state tea and liquid
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/1/14/Darjeeling_tea_first_flush_in_cup.jpg") pictureList.kif 3212-3212 room temperature state tea and liquid
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/d/d1/Teaproducingcountries.svg") pictureList.kif 3213-3213 room temperature state tea and liquid
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/8/80/Tea_bags.jpg") pictureList.kif 3214-3214 room temperature state tea and liquid
(externalImage Tea "http://upload.wikimedia.org/wikipedia/commons/5/54/Loose_leaf_darjeeling_tea_twinings.jpg") pictureList.kif 3215-3215 room temperature state tea and liquid

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


(termFormat EnglishLanguage Tea "tea") domainEnglishFormat.kif 57142-57142
(termFormat ChineseTraditionalLanguage Tea "茶") domainEnglishFormat.kif 57143-57143
(termFormat ChineseLanguage Tea "茶") domainEnglishFormat.kif 57144-57144

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 1744-1759 If All of the following hold: (1) X is an instance of meal (2) Y is a member of X (3) Y is an instance of coffee or Y is an instance of tea (4) Z is a member of X (5) Z is an instance of juice (6) W is a member of X (7) W is an instance of bread or biscuit (8) W is a member of X (9) W is an instance of butter (10) V is a member of X (11) V is an instance of jam, then continental breakfast is an attribute of X
(=>
    (initialPart Tea ?TEA)
    (or
        (equal ?TEA TeaBud)
        (equal ?TEA TeaLeaf)
        (equal ?TEA TeaTwig)))		 Food.kif 1822-1827 If every tea is initially part of a X, then At least one of the following holds: (1) equal X and tea bud (2) equal X and tea leaf (3) equal X and tea twig
(=>
    (instance ?T Tea)
    (attribute ?T CaffeinatedAttribute))		 Food.kif 1829-1831 If X is an instance of tea, then caffeinated is an attribute of X

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


(=>
    (and
        (instance ?X Meal)
        (attribute ?X HighTea))
    (exists (?TEA)
        (and
            (instance ?TEA Tea)
            (member ?TEA ?X))))		 Food.kif 1848-1855 If X is an instance of meal and high tea is an attribute of X, then there exists Y such that Y is an instance of tea and Y is a member of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners