consequent

(=>     (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 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 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

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