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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fruit
Fruit(fruit)

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


(externalImage Fruit "http://articulatesoftware.com/SUMOpictures/small_icons/ 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

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 4532-4543
(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Cucumber))
    (initialPart ?CLASS CucumberPlant))
Economy.kif 4223-4227
(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Eggplant))
    (initialPart ?CLASS EggplantPlant))
Economy.kif 4277-4281

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


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