Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass GroceryProduce FruitOrVegetable) Economy.kif 3832-3832 Grocery produce is a subclass of fruit or vegetable
(subclass
    (DeadFn LeafyGreenVegetable) GroceryProduce)
Economy.kif 3837-3837 A dead leafy green vegetable is a subclass of grocery produce
(subclass
    (DeadFn Cucumber) GroceryProduce)
Economy.kif 3840-3840 A dead cucumber is a subclass of grocery produce
(subclass
    (DeadFn Cabbage) GroceryProduce)
Economy.kif 3843-3843 A dead cabbage is a subclass of grocery produce
(subclass
    (DeadFn Cauliflower) GroceryProduce)
Economy.kif 3846-3846 A dead cauliflower is a subclass of grocery produce
(subclass
    (DeadFn Eggplant) GroceryProduce)
Economy.kif 3849-3849 A dead eggplant is a subclass of grocery produce
(subclass
    (DeadFn SweetPepper) GroceryProduce)
Economy.kif 3852-3852 A dead sweet pepper is a subclass of grocery produce
(subclass
    (DeadFn Turnip) GroceryProduce)
Economy.kif 3873-3873 A dead turnip is a subclass of grocery produce
(subclass
    (DeadFn Carrot) GroceryProduce)
Economy.kif 3876-3876 A dead carrot is a subclass of grocery produce
(subclass
    (DeadFn Squash) GroceryProduce)
Economy.kif 3879-3879 A dead squash is a subclass of grocery produce
(subclass
    (DeadFn SweetPotatoTuber) GroceryProduce)
Economy.kif 3887-3887 A dead sweet potato tuber is a subclass of grocery produce
(subclass
    (DeadFn TaroTuber) GroceryProduce)
Economy.kif 3890-3890 A dead taro tuber is a subclass of grocery produce
(subclass
    (DeadFn YamTuber) GroceryProduce)
Economy.kif 3893-3893 A dead yam tuber is a subclass of grocery produce
(subclass
    (DeadFn Cassava) GroceryProduce)
Economy.kif 3896-3896 A dead cassava is a subclass of grocery produce
(subclass
    (DeadFn SugarCane) GroceryProduce)
Economy.kif 3917-3917 A dead sugar cane is a subclass of grocery produce
(subclass
    (DeadFn Tomato) GroceryProduce)
Economy.kif 3924-3924 A dead tomato is a subclass of grocery produce
(subclass
    (DeadFn Grape) GroceryProduce)
Economy.kif 3927-3927 A dead grape is a subclass of grocery produce
(subclass
    (DeadFn Melon) GroceryProduce)
Economy.kif 3930-3930 A dead melon is a subclass of grocery produce
(subclass
    (DeadFn Berry) GroceryProduce)
Economy.kif 3935-3935 A dead berry is a subclass of grocery produce
(subclass
    (DeadFn Apple) GroceryProduce)
Economy.kif 3938-3938 A dead apple is a subclass of grocery produce
(subclass
    (DeadFn Olive) GroceryProduce)
Economy.kif 3941-3941 A dead olive is a subclass of grocery produce
(subclass
    (DeadFn CitrusFruit) GroceryProduce)
Economy.kif 3944-3944 A dead citrus fruit is a subclass of grocery produce
(subclass
    (DeadFn TropicalFruit) GroceryProduce)
Economy.kif 3961-3961 A dead tropical fruit is a subclass of grocery produce
(subclass
    (DeadFn Avocado) GroceryProduce)
Economy.kif 3964-3964 A dead avocado is a subclass of grocery produce
(subclass
    (DeadFn Banana) GroceryProduce)
Economy.kif 3967-3967 A dead banana is a subclass of grocery produce
(subclass
    (DeadFn Breadfruit) GroceryProduce)
Economy.kif 3970-3970 A dead breadfruit is a subclass of grocery produce
(subclass
    (DeadFn Coconut) GroceryProduce)
Economy.kif 3973-3973 A dead coconut is a subclass of grocery produce
(subclass
    (DeadFn DateFruit) GroceryProduce)
Economy.kif 3976-3976 A dead date fruit is a subclass of grocery produce
(subclass
    (DeadFn Mango) GroceryProduce)
Economy.kif 3979-3979 A dead mango is a subclass of grocery produce
(subclass
    (DeadFn Papaw) GroceryProduce)
Economy.kif 3982-3982 A dead papaw is a subclass of grocery produce
(subclass
    (DeadFn Papaya) GroceryProduce)
Economy.kif 3987-3987 A dead papaya is a subclass of grocery produce
(subclass
    (DeadFn PassionFruit) GroceryProduce)
Economy.kif 3990-3990 A dead passion fruit is a subclass of grocery produce
(subclass
    (DeadFn Pineapple) GroceryProduce)
Economy.kif 3993-3993 A dead pineapple is a subclass of grocery produce
(subclass
    (DeadFn Plantain) GroceryProduce)
Economy.kif 3996-3996 A dead plantain is a subclass of grocery produce
(subclass
    (DeadFn EdibleNut) GroceryProduce)
Economy.kif 4019-4019 A dead edible nut is a subclass of grocery produce
(subclass
    (DeadFn Peanut) GroceryProduce)
Economy.kif 4030-4030 A dead peanut is a subclass of grocery produce
(subclass
    (DeadFn Groundnut) GroceryProduce)
Economy.kif 4033-4033 A dead groundnut is a subclass of grocery produce
(subclass MaizeGrain GroceryProduce) Economy.kif 3825-3825 Maize grain is a subclass of grocery produce
(subclass PotatoTuber GroceryProduce) Economy.kif 3884-3884 Potato tuber is a subclass of grocery produce


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