antecedent

(=>     (equal ?P         (PlantFn Apple))     (subclass ?P DeciduousTree))	Food.kif 2191-2193	If equal a kind of plant and plant fn apple, then a kind of plant is a subclass of deciduous tree
(=>     (equal ?P         (PlantFn Basil))     (subclass ?P HerbaceousPlant))	Food.kif 2177-2179	If equal a kind of plant and plant fn basil, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn Blueberry))     (subclass ?P Shrub))	Food.kif 2217-2219	If equal a kind of plant and plant fn blueberry, then a kind of plant is a subclass of shrub
(=>     (equal ?P         (PlantFn Broccoli))     (subclass ?P CabbagePlant))	Food.kif 2403-2405	If equal a kind of plant and plant fn broccoli, then a kind of plant is a subclass of cabbage plant
(=>     (equal ?P         (PlantFn ButternutSquash))     (subclass ?P HerbaceousPlant))	Food.kif 2410-2412	If equal a kind of plant and plant fn butternut squash, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn CashewNut))     (subclass ?P BotanicalTree))	Food.kif 2428-2430	If equal a kind of plant and plant fn cashew nut, then a kind of plant is a subclass of botanical tree
(=>     (equal ?P         (PlantFn Celery))     (subclass ?P HerbaceousPlant))	Food.kif 2434-2436	If equal a kind of plant and plant fn celery, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn Cilantro))     (subclass ?P HerbaceousPlant))	Food.kif 2536-2538	If equal a kind of plant and plant fn cilantro, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn Garlic))     (subclass ?P HerbaceousPlant))	Food.kif 2591-2593	If equal a kind of plant and plant fn garlic, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn Mint))     (subclass ?P HerbaceousPlant))	Food.kif 2679-2681	If equal a kind of plant and plant fn mint, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn Mustard))     (subclass ?P HerbaceousPlant))	Food.kif 2703-2705	If equal a kind of plant and plant fn mustard, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn Parsley))     (subclass ?P HerbaceousPlant))	Food.kif 2740-2742	If equal a kind of plant and plant fn parsley, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn Scallion))     (subclass ?P HerbaceousPlant))	Food.kif 3369-3371	If equal a kind of plant and plant fn scallion, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn Sesame))     (subclass ?P HerbaceousPlant))	Food.kif 3406-3408	If equal a kind of plant and plant fn sesame, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn Strawberry))     (subclass ?P HerbaceousPlant))	Food.kif 3492-3494	If equal a kind of plant and plant fn strawberry, then a kind of plant is a subclass of herbaceous plant
(=>     (equal ?P         (PlantFn TamarindFruit))     (subclass ?P BotanicalTree))	Food.kif 3498-3500	If equal a kind of plant and plant fn tamarind fruit, then a kind of plant is a subclass of botanical tree
(=>     (equal ?P         (PlantFn WineGrape))     (subclass ?P GrapeVine))	Economy.kif 5067-5070	If equal a kind of plant and plant fn wine grape, then a kind of plant is a subclass of grape vine
(=>     (equal ?X         (PlantFn CommonWheatGrain))     (subclass ?X CommonWheatGrass))	Economy.kif 4398-4401	If equal a kind of plant and plant fn common wheat grain, then a kind of plant is a subclass of common wheat grass
(=>     (equal ?X         (PlantFn DurumWheatGrain))     (subclass ?X DurumWheatGrass))	Economy.kif 4408-4411	If equal a kind of plant and plant fn durum wheat grain, then a kind of plant is a subclass of durum wheat grass
(=>     (equal ?X         (PlantFn EinkornWheatGrain))     (subclass ?X EinkornWheatGrass))	Economy.kif 4428-4431	If equal a kind of plant and plant fn Einkorn wheat grain, then a kind of plant is a subclass of einkorn wheat grass
(=>     (equal ?X         (PlantFn EmmerWheatGrain))     (subclass ?X EmmerWheatGrass))	Economy.kif 4418-4421	If equal a kind of plant and plant fn Emmer wheat grain, then a kind of plant is a subclass of emmer wheat grass
(=>     (equal ?X         (PlantFn SpeltWheatGrain))     (subclass ?X SpeltWheatGrass))	Economy.kif 4439-4442	If equal a kind of plant and plant fn spelt wheat grain, then a kind of plant is a subclass of spelt wheat grass
(=>     (instance ?P         (PlantFn CoffeeArabica))     (instance ?P CoffeaArabica))	Economy.kif 4974-4976	If an entity is an instance of plant fn coffee arabica, then the entity is an instance of coffea arabica
(=>     (instance ?P         (PlantFn CoffeeRobusta))     (instance ?P CoffeaRobusta))	Economy.kif 4998-5000	If an entity is an instance of plant fn coffee robusta, then the entity is an instance of coffea robusta

Show simplified definition (without tree view)
Show simplified definition (with tree view)