(=>
(equal ?P
(PlantFn Basil))
(subclass ?P HerbaceousPlant)) |
Food.kif 2190-2192 |
If equal X and plant fn basil, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn ButternutSquash))
(subclass ?P HerbaceousPlant)) |
Food.kif 2422-2424 |
If equal X and plant fn butternut squash, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn Celery))
(subclass ?P HerbaceousPlant)) |
Food.kif 2447-2449 |
If equal X and plant fn celery, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn Cilantro))
(subclass ?P HerbaceousPlant)) |
Food.kif 2551-2553 |
If equal X and plant fn cilantro, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn Garlic))
(subclass ?P HerbaceousPlant)) |
Food.kif 2608-2610 |
If equal X and plant fn garlic, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn Mint))
(subclass ?P HerbaceousPlant)) |
Food.kif 2700-2702 |
If equal X and plant fn mint, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn Mustard))
(subclass ?P HerbaceousPlant)) |
Food.kif 2724-2726 |
If equal X and plant fn mustard, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn Parsley))
(subclass ?P HerbaceousPlant)) |
Food.kif 2761-2763 |
If equal X and plant fn parsley, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn Scallion))
(subclass ?P HerbaceousPlant)) |
Food.kif 3394-3396 |
If equal X and plant fn scallion, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn Sesame))
(subclass ?P HerbaceousPlant)) |
Food.kif 3432-3434 |
If equal X and plant fn sesame, then X is a subclass of herbaceous plant |
(=>
(equal ?P
(PlantFn Strawberry))
(subclass ?P HerbaceousPlant)) |
Food.kif 3520-3522 |
If equal X and plant fn strawberry, then X is a subclass of herbaceous plant |
HerbaceousPlant