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 2183-2184
(externalImage Fruit "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ fruit_3.png") pictureList.kif 449-449
(subclass Fruit FruitOrVegetable) Food.kif 2182-2182 水果 是 水果或蔬菜 的 subclass

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


(industryProductType FruitFarming Fruit) Economy.kif 6591-6591 水果 是 水果种植 的 industry 产品类别
(initialPart Jam Fruit) Food.kif 1760-1760 %每个 Jam 是 水果 的 initially part
(subclass Apple Fruit) Food.kif 2186-2186 苹果 是 水果 的 subclass
(subclass Avocado Fruit) Food.kif 2288-2288 鳄梨 是 水果 的 subclass
(subclass Berry Fruit) Food.kif 2205-2205 浆果 是 水果 的 subclass
(subclass CitrusFruit Fruit) Food.kif 2332-2332 柑橘类水果 是 水果 的 subclass
(subclass DateFruit Fruit) Food.kif 2195-2195 日期水果 是 水果 的 subclass
(subclass Grape Fruit) Food.kif 2295-2295 葡萄 是 水果 的 subclass
(subclass Melon Fruit) Food.kif 2297-2297 瓜 是 水果 的 subclass
(subclass Olive Fruit) Food.kif 2301-2301 橄榄 是 水果 的 subclass
(subclass Peach Fruit) Food.kif 2765-2765 Peach 是 水果 的 subclass
(subclass PearFruit Fruit) Food.kif 2200-2200 梨果 是 水果 的 subclass
(subclass Strawberry Fruit) Food.kif 3488-3488 Strawberry 是 水果 的 subclass
(subclass TamarindFruit Fruit) Food.kif 3494-3494 TamarindFruit 是 水果 的 subclass
(subclass Tomato Fruit) Food.kif 2293-2293 番茄 是 水果 的 subclass
(subclass TropicalFruit Fruit) Food.kif 2371-2371 热带水果 是 水果 的 subclass
(subclass WineGrape Fruit) Economy.kif 5070-5070 酿酒葡萄 是 水果 的 subclass
(termFormat ChineseLanguage Fruit "水果") domainEnglishFormat.kif 25123-25123 酿酒葡萄 是 水果 的 subclass
(termFormat ChineseTraditionalLanguage Fruit "水果") domainEnglishFormat.kif 25122-25122 酿酒葡萄 是 水果 的 subclass
(termFormat EnglishLanguage Fruit "fruit") domainEnglishFormat.kif 25121-25121 酿酒葡萄 是 水果 的 subclass

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 4870-4881
(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Cucumber))
    (initialPart ?CLASS CucumberPlant))		 Economy.kif 4560-4564
(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Eggplant))
    (initialPart ?CLASS EggplantPlant))		 Economy.kif 4614-4618

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 1766-1775
(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))		 Food.kif 3375-3382
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))		 Food.kif 3455-3457


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