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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fruit
Fruit

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


(documentation Fruit EnglishLanguage "Fruits comes from the flowering &part of a FloweringPlant and contain Seeds. [Wikipedia]") Food.kif 2176-2177
(externalImage Fruit "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ fruit_3.png") pictureList.kif 449-449
(subclass Fruit FruitOrVegetable) Food.kif 2175-2175 Fruit は 果物または野菜 の subclass では %n

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


(industryProductType FruitFarming Fruit) Economy.kif 6584-6584 industryProductType FruitFarming and Fruit
(initialPart Jam Fruit) Food.kif 1754-1754 initialPart Jam and Fruit
(subclass Apple Fruit) Food.kif 2179-2179 Apple は Fruit の subclass では %n
(subclass Avocado Fruit) Food.kif 2281-2281 Avocado は Fruit の subclass では %n
(subclass Berry Fruit) Food.kif 2198-2198 Berry は Fruit の subclass では %n
(subclass CitrusFruit Fruit) Food.kif 2325-2325 CitrusFruit は Fruit の subclass では %n
(subclass DateFruit Fruit) Food.kif 2188-2188 DateFruit は Fruit の subclass では %n
(subclass Grape Fruit) Food.kif 2288-2288 Grape は Fruit の subclass では %n
(subclass Melon Fruit) Food.kif 2290-2290 Melon は Fruit の subclass では %n
(subclass Olive Fruit) Food.kif 2294-2294 Olive は Fruit の subclass では %n
(subclass Peach Fruit) Food.kif 2758-2758 Peach は Fruit の subclass では %n
(subclass PearFruit Fruit) Food.kif 2193-2193 PearFruit は Fruit の subclass では %n
(subclass Strawberry Fruit) Food.kif 3481-3481 Strawberry は Fruit の subclass では %n
(subclass TamarindFruit Fruit) Food.kif 3487-3487 TamarindFruit は Fruit の subclass では %n
(subclass Tomato Fruit) Food.kif 2286-2286 Tomato は Fruit の subclass では %n
(subclass TropicalFruit Fruit) Food.kif 2364-2364 TropicalFruit は Fruit の subclass では %n
(subclass WineGrape Fruit) Economy.kif 5065-5065 WineGrape は Fruit の subclass では %n
(termFormat ChineseLanguage Fruit "水果") domainEnglishFormat.kif 25140-25140 WineGrape は Fruit の subclass では %n
(termFormat ChineseTraditionalLanguage Fruit "水果") domainEnglishFormat.kif 25139-25139 WineGrape は Fruit の subclass では %n
(termFormat EnglishLanguage Fruit "fruit") domainEnglishFormat.kif 25138-25138 WineGrape は Fruit の subclass では %n

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


(=>
    (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 4867-4878
(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Cucumber))
    (initialPart ?CLASS CucumberPlant))		 Economy.kif 4558-4562
(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Eggplant))
    (initialPart ?CLASS EggplantPlant))		 Economy.kif 4612-4616

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


(=>
    (and
        (instance ?H Hulling)
        (patient ?H ?O))
    (or
        (instance ?O Seed)
        (instance ?O Fruit)))		 Food.kif 174-180
(=>
    (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 1760-1769
(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))		 Food.kif 3368-3375
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))		 Food.kif 3448-3450


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