Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Fruit
Fruit(fruit)

appearance as argument number 1
-------------------------


(subclass Fruit FruitOrVegetable) Food.kif 2182-2182 Fruit is a subclass of fruit or vegetable
(documentation Fruit EnglishLanguage "Fruits comes from the flowering &part of a FloweringPlant and contain Seeds. [Wikipedia]") Food.kif 2183-2184 Fruit is a subclass of fruit or vegetable
(externalImage Fruit "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ fruit_3.png") pictureList.kif 449-449 Fruit is a subclass of fruit or vegetable

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


(subclass WineGrape Fruit) Economy.kif 5065-5065 Wine grape is a subclass of fruit
(industryProductType FruitFarming Fruit) Economy.kif 6586-6586 Fruit is an industry product type of fruit farming
(initialPart Jam Fruit) Food.kif 1760-1760 Every jam is initially part of a fruit
(subclass Apple Fruit) Food.kif 2186-2186 Apple is a subclass of fruit
(subclass DateFruit Fruit) Food.kif 2195-2195 Date fruit is a subclass of fruit
(subclass PearFruit Fruit) Food.kif 2200-2200 Pear fruit is a subclass of fruit
(subclass Berry Fruit) Food.kif 2205-2205 Berry is a subclass of fruit
(subclass Avocado Fruit) Food.kif 2288-2288 Avocado is a subclass of fruit
(subclass Tomato Fruit) Food.kif 2293-2293 Tomato is a subclass of fruit
(subclass Grape Fruit) Food.kif 2295-2295 Grape is a subclass of fruit
(subclass Melon Fruit) Food.kif 2297-2297 Melon is a subclass of fruit
(subclass Olive Fruit) Food.kif 2301-2301 Olive is a subclass of fruit
(subclass CitrusFruit Fruit) Food.kif 2332-2332 Citrus fruit is a subclass of fruit
(subclass TropicalFruit Fruit) Food.kif 2371-2371 Tropical fruit is a subclass of fruit
(subclass Peach Fruit) Food.kif 2765-2765 Peach is a subclass of fruit
(subclass Strawberry Fruit) Food.kif 3490-3490 Strawberry is a subclass of fruit
(subclass TamarindFruit Fruit) Food.kif 3496-3496 Tamarind fruit is a subclass of fruit
(termFormat EnglishLanguage Fruit "fruit") domainEnglishFormat.kif 25114-25114 Tamarind fruit is a subclass of fruit
(termFormat ChineseTraditionalLanguage Fruit "水果") domainEnglishFormat.kif 25115-25115 Tamarind fruit is a subclass of fruit
(termFormat ChineseLanguage Fruit "水果") domainEnglishFormat.kif 25116-25116 Tamarind fruit is a subclass of fruit

antecedent
-------------------------


(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Cucumber))
    (initialPart ?CLASS CucumberPlant))		 Economy.kif 4555-4559 If X is a subclass of fruit and equal X and cucumber, then every X is initially part of a cucumber plant
(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Eggplant))
    (initialPart ?CLASS EggplantPlant))		 Economy.kif 4609-4613 If X is a subclass of fruit and equal X and eggplant, then every X is initially part of a eggplant
(=>
    (and
        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
        (or
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
        (and
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))		 Economy.kif 4865-4876 If equal X and Object made from Y, X is a subclass of oil from plant, and Y is a subclass of seed or Y is a subclass of fruit, then there exists Z such that Z is a subclass of flowering plant and every Y is initially part of a Z

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


(=>
    (and
        (instance ?H Hulling)
        (patient ?H ?O))
    (or
        (instance ?O Seed)
        (instance ?O Fruit)))		 Food.kif 174-180 If X is an instance of hulling and Y is a patient of X, then Y is an instance of seed or Y is an instance of fruit
(=>
    (instance ?J Jam)
    (exists (?B ?F ?S)
        (and
            (instance ?B Boiling)
            (patient ?B ?F)
            (instance ?F Fruit)
            (patient ?B ?S)
            (instance ?S Sugar)
            (result ?B ?J))))		 Food.kif 1766-1775 If X is an instance of jam, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of boiling (3) Z is a patient of Y (4) Z is an instance of fruit (5) W is a patient of Y (6) W is an instance of sugar (7) X is a result of Y
(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))		 Food.kif 3377-3384 If X is an instance of schnapps, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of fruit, Z is a resource for Y, and X is a result of Y
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))		 Food.kif 3457-3459 If X is an instance of sorbet, then X is made of fruit


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