subclass

-------------------------


(=>
    (equal ?C
        (AgentOfOrganismFn TickBorneEncephalitisVirus))
    (subclass ?C LifeThreateningAgent))
WMD.kif 2009-2012
(=>
    (equal ?C
        (AgentOfOrganismFn YersiniaPestis))
    (subclass ?C LifeThreateningAgent))
WMD.kif 401-404
(=>
    (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 BotanicalTree))
    (subclass ?C Timber))
Economy.kif 4653-4656
(=>
    (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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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