TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Tea "茶")	domainEnglishFormat.kif 57150-57150
(termFormat ChineseTraditionalLanguage Tea "茶")	domainEnglishFormat.kif 57149-57149
(termFormat EnglishLanguage Tea "tea")	domainEnglishFormat.kif 57148-57148

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 1737-1752	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 1815-1820	If every tea is initially part of a a kind of object, then equal a kind of object and tea bud or equal the kind of object and tea leaf or equal the kind of object and tea twig
(=> (instance ?T Tea) (attribute ?T CaffeinatedAttribute))	Food.kif 1822-1824	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 1841-1848

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 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

KB Term:			Term intersection

English Word: