consequent

(=>     (equal ?P         (PlantFn Basil))     (subclass ?P HerbaceousPlant))	Food.kif 2177-2179	If equal a kind of plant and PlantFn Basil, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn ButternutSquash))     (subclass ?P HerbaceousPlant))	Food.kif 2410-2412	If equal a kind of plant and PlantFn ButternutSquash, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn Celery))     (subclass ?P HerbaceousPlant))	Food.kif 2434-2436	If equal a kind of plant and PlantFn Celery, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn Cilantro))     (subclass ?P HerbaceousPlant))	Food.kif 2536-2538	If equal a kind of plant and PlantFn Cilantro, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn Garlic))     (subclass ?P HerbaceousPlant))	Food.kif 2591-2593	If equal a kind of plant and PlantFn Garlic, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn Mint))     (subclass ?P HerbaceousPlant))	Food.kif 2679-2681	If equal a kind of plant and PlantFn Mint, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn Mustard))     (subclass ?P HerbaceousPlant))	Food.kif 2703-2705	If equal a kind of plant and PlantFn Mustard, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn Parsley))     (subclass ?P HerbaceousPlant))	Food.kif 2740-2742	If equal a kind of plant and PlantFn Parsley, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn Scallion))     (subclass ?P HerbaceousPlant))	Food.kif 3369-3371	If equal a kind of plant and PlantFn Scallion, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn Sesame))     (subclass ?P HerbaceousPlant))	Food.kif 3406-3408	If equal a kind of plant and PlantFn Sesame, then a kind of plant is a subclass of HerbaceousPlant
(=>     (equal ?P         (PlantFn Strawberry))     (subclass ?P HerbaceousPlant))	Food.kif 3492-3494	If equal a kind of plant and PlantFn Strawberry, then a kind of plant is a subclass of HerbaceousPlant

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