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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fruit

Sigma KEE - Fruit
Fruit

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


(externalImage Fruit "http://www.adampease.org/Articulate/SUMOpictures/pictures/ small_icons/ food/ fruit_3.png") pictureList.kif 449-449
(subclass Fruit FruitOrVegetable) Economy.kif 3984-3984

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


(industryProductType FruitFarming Fruit) Economy.kif 5234-5234
(subclass Apple Fruit) Economy.kif 4014-4014
(subclass Berry Fruit) Economy.kif 4007-4007
(subclass CitrusFruit Fruit) Economy.kif 4028-4028
(subclass CoffeeBean Fruit) Mid-level-ontology.kif 21113-21113
(subclass Grape Fruit) Economy.kif 3993-3993
(subclass Grapefruit Fruit) Food.kif 567-567
(subclass Olive Fruit) Economy.kif 4021-4021
(subclass Peach Fruit) Food.kif 710-710
(subclass TamarindFruit Fruit) Food.kif 900-900
(subclass Tomato Fruit) Economy.kif 3986-3986
(subclass TropicalFruit Fruit) Economy.kif 4049-4049
(termFormat ChineseLanguage Fruit "水果") domainEnglishFormat.kif 25107-25107
(termFormat ChineseTraditionalLanguage Fruit "水果") domainEnglishFormat.kif 25106-25106
(termFormat EnglishLanguage Fruit "fruit") domainEnglishFormat.kif 25105-25105

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


(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))
Food.kif 795-802
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))
Food.kif 865-867


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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