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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Fruit

appearance as argument number 1

(externalImage Fruit " food/ fruit_3.png") pictureList.kif 449-449

appearance as argument number 2

(industryProductType FruitFarming Fruit) Economy.kif 6193-6193 Fruit is an industry product type of fruit farming
(initialPart Jam Fruit) Food.kif 1754-1754 Every jam is initially part of a fruit
(subclass WineGrape Fruit) Economy.kif 4730-4730 Wine grape is a subclass of fruit
(termFormat ChineseLanguage Fruit "水果") domainEnglishFormat.kif 25112-25112
(termFormat ChineseTraditionalLanguage Fruit "水果") domainEnglishFormat.kif 25111-25111
(termFormat EnglishLanguage Fruit "fruit") domainEnglishFormat.kif 25110-25110


        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))
Economy.kif 4532-4543
        (subclass ?CLASS Fruit)
        (equal ?CLASS Cucumber))
    (initialPart ?CLASS CucumberPlant))
Economy.kif 4223-4227
        (subclass ?CLASS Fruit)
        (equal ?CLASS Eggplant))
    (initialPart ?CLASS EggplantPlant))
Economy.kif 4277-4281


        (instance ?H Hulling)
        (patient ?H ?O))
        (instance ?O Seed)
        (instance ?O Fruit)))
Food.kif 174-180
    (instance ?J Jam)
    (exists (?B ?F ?S)
            (instance ?B Boiling)
            (patient ?B ?F)
            (instance ?F Fruit)
            (patient ?B ?S)
            (instance ?S Sugar)
            (result ?B ?J))))
Food.kif 1760-1769

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