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

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


(industryProductType FruitFarming Fruit) Economy.kif 5076-5076
(subclass Apple Fruit) Economy.kif 3937-3937
(subclass Berry Fruit) Economy.kif 3934-3934
(subclass CitrusFruit Fruit) Economy.kif 3943-3943
(subclass Grape Fruit) Economy.kif 3926-3926
(subclass Grapefruit Fruit) Food.kif 585-585
(subclass Melon Fruit) Economy.kif 3929-3929
(subclass Olive Fruit) Economy.kif 3940-3940
(subclass Peach Fruit) Food.kif 728-728
(subclass TamarindFruit Fruit) Food.kif 918-918
(subclass Tomato Fruit) Economy.kif 3923-3923
(subclass TropicalFruit Fruit) Economy.kif 3960-3960
(termFormat ChineseLanguage Fruit "水果") domainEnglishFormat.kif 25114-25114
(termFormat ChineseTraditionalLanguage Fruit "水果") domainEnglishFormat.kif 25113-25113
(termFormat EnglishLanguage Fruit "fruit") domainEnglishFormat.kif 25112-25112

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


(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))
Food.kif 813-820
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))
Food.kif 883-885


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