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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroceryProduce

Sigma KEE - GroceryProduce
GroceryProduce

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


(subclass GroceryProduce FruitOrVegetable) Economy.kif 3839-3839

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


(subclass MaizeGrain GroceryProduce) Economy.kif 3832-3832
(subclass PotatoTuber GroceryProduce) Economy.kif 3926-3926
(termFormat ChineseLanguage GroceryProduce "杂货生产") domainEnglishFormat.kif 26649-26649
(termFormat ChineseTraditionalLanguage GroceryProduce "雜貨生產") domainEnglishFormat.kif 26648-26648
(termFormat EnglishLanguage GroceryProduce "grocery produce") domainEnglishFormat.kif 26647-26647

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


(=>
    (equal ?C
        (DeadFn Apple))
    (subclass ?C GroceryProduce))
Economy.kif 4016-4019
(=>
    (equal ?C
        (DeadFn Avocado))
    (subclass ?C GroceryProduce))
Economy.kif 4058-4061
(=>
    (equal ?C
        (DeadFn Banana))
    (subclass ?C GroceryProduce))
Economy.kif 4065-4068
(=>
    (equal ?C
        (DeadFn Berry))
    (subclass ?C GroceryProduce))
Economy.kif 4009-4012
(=>
    (equal ?C
        (DeadFn Breadfruit))
    (subclass ?C GroceryProduce))
Economy.kif 4072-4075
(=>
    (equal ?C
        (DeadFn Cabbage))
    (subclass ?C GroceryProduce))
Economy.kif 3859-3862
(=>
    (equal ?C
        (DeadFn Carrot))
    (subclass ?C GroceryProduce))
Economy.kif 3911-3914
(=>
    (equal ?C
        (DeadFn Cassava))
    (subclass ?C GroceryProduce))
Economy.kif 3951-3954
(=>
    (equal ?C
        (DeadFn Cauliflower))
    (subclass ?C GroceryProduce))
Economy.kif 3866-3869
(=>
    (equal ?C
        (DeadFn CitrusFruit))
    (subclass ?C GroceryProduce))
Economy.kif 4030-4033
(=>
    (equal ?C
        (DeadFn Coconut))
    (subclass ?C GroceryProduce))
Economy.kif 4079-4082
(=>
    (equal ?C
        (DeadFn Cucumber))
    (subclass ?C GroceryProduce))
Economy.kif 3852-3855
(=>
    (equal ?C
        (DeadFn DateFruit))
    (subclass ?C GroceryProduce))
Economy.kif 4086-4089
(=>
    (equal ?C
        (DeadFn EdibleNut))
    (subclass ?C GroceryProduce))
Economy.kif 4157-4160
(=>
    (equal ?C
        (DeadFn Eggplant))
    (subclass ?C GroceryProduce))
Economy.kif 3873-3876
(=>
    (equal ?C
        (DeadFn Grape))
    (subclass ?C GroceryProduce))
Economy.kif 3995-3998
(=>
    (equal ?C
        (DeadFn Groundnut))
    (subclass ?C GroceryProduce))
Economy.kif 4179-4182
(=>
    (equal ?C
        (DeadFn LeafyGreenVegetable))
    (subclass ?C GroceryProduce))
Economy.kif 3845-3848
(=>
    (equal ?C
        (DeadFn Mango))
    (subclass ?C GroceryProduce))
Economy.kif 4093-4096
(=>
    (equal ?C
        (DeadFn Melon))
    (subclass ?C GroceryProduce))
Economy.kif 4000-4003
(=>
    (equal ?C
        (DeadFn Olive))
    (subclass ?C GroceryProduce))
Economy.kif 4023-4026
(=>
    (equal ?C
        (DeadFn Papaw))
    (subclass ?C GroceryProduce))
Economy.kif 4100-4103
(=>
    (equal ?C
        (DeadFn Papaya))
    (subclass ?C GroceryProduce))
Economy.kif 4110-4113
(=>
    (equal ?C
        (DeadFn PassionFruit))
    (subclass ?C GroceryProduce))
Economy.kif 4117-4120
(=>
    (equal ?C
        (DeadFn Peanut))
    (subclass ?C GroceryProduce))
Economy.kif 4172-4175

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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