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
-------------------------


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

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


(industryProductType FruitFarming Fruit) Economy.kif 5073-5073 industryProductType FruitFarming and Fruit
(subclass Apple Fruit) Economy.kif 3937-3937 subclass Apple and Fruit
(subclass Berry Fruit) Economy.kif 3934-3934 subclass Berry and Fruit
(subclass CitrusFruit Fruit) Economy.kif 3943-3943 subclass CitrusFruit and Fruit
(subclass Grape Fruit) Economy.kif 3926-3926 subclass Grape and Fruit
(subclass Grapefruit Fruit) Food.kif 585-585 subclass Grapefruit and Fruit
(subclass Melon Fruit) Economy.kif 3929-3929 subclass Melon and Fruit
(subclass Olive Fruit) Economy.kif 3940-3940 subclass Olive and Fruit
(subclass Peach Fruit) Food.kif 725-725 subclass Peach and Fruit
(subclass TamarindFruit Fruit) Food.kif 915-915 subclass TamarindFruit and Fruit
(subclass Tomato Fruit) Economy.kif 3923-3923 subclass Tomato and Fruit
(subclass TropicalFruit Fruit) Economy.kif 3960-3960 subclass TropicalFruit and Fruit
(termFormat ChineseLanguage Fruit "水果") domainEnglishFormat.kif 25039-25039
(termFormat ChineseTraditionalLanguage Fruit "水果") domainEnglishFormat.kif 25038-25038
(termFormat EnglishLanguage Fruit "fruit") domainEnglishFormat.kif 25037-25037

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


(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))
Food.kif 810-817
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))
Food.kif 880-882


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners