(=>
(equal ?X
(PlantFn CommonWheatGrain))
(subclass ?X CommonWheatGrass)) |
Economy.kif 4398-4401 |
If equal X and plant fn common wheat grain, then X is a subclass of common wheat grass |
(=>
(equal ?X
(PlantFn DurumWheatGrain))
(subclass ?X DurumWheatGrass)) |
Economy.kif 4408-4411 |
If equal X and plant fn durum wheat grain, then X is a subclass of durum wheat grass |
(=>
(equal ?X
(PlantFn EmmerWheatGrain))
(subclass ?X EmmerWheatGrass)) |
Economy.kif 4418-4421 |
If equal X and plant fn Emmer wheat grain, then X is a subclass of emmer wheat grass |
(=>
(equal ?X
(PlantFn EinkornWheatGrain))
(subclass ?X EinkornWheatGrass)) |
Economy.kif 4428-4431 |
If equal X and plant fn Einkorn wheat grain, then X is a subclass of einkorn wheat grass |
(=>
(equal ?X
(PlantFn SpeltWheatGrain))
(subclass ?X SpeltWheatGrass)) |
Economy.kif 4439-4442 |
If equal X and plant fn spelt wheat grain, then X is a subclass of spelt wheat grass |
(=>
(instance ?P
(PlantFn CoffeeArabica))
(instance ?P CoffeaArabica)) |
Economy.kif 4974-4976 |
If X is an instance of plant fn coffee arabica, then X is an instance of coffea arabica |
(=>
(instance ?P
(PlantFn CoffeeRobusta))
(instance ?P CoffeaRobusta)) |
Economy.kif 4998-5000 |
If X is an instance of plant fn coffee robusta, then X is an instance of coffea robusta |
(=>
(equal ?P
(PlantFn WineGrape))
(subclass ?P GrapeVine)) |
Economy.kif 5067-5070 |
If equal X and plant fn wine grape, then X is a subclass of grape vine |
(=>
(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 Apple))
(subclass ?P DeciduousTree)) |
Food.kif 2204-2206 |
If equal X and plant fn apple, then X is a subclass of deciduous tree |
(=>
(equal ?P
(PlantFn Blueberry))
(subclass ?P Shrub)) |
Food.kif 2230-2232 |
If equal X and plant fn blueberry, then X is a subclass of shrub |
(=>
(equal ?P
(PlantFn Broccoli))
(subclass ?P CabbagePlant)) |
Food.kif 2416-2418 |
If equal X and plant fn broccoli, then X is a subclass of cabbage 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 CashewNut))
(subclass ?P BotanicalTree)) |
Food.kif 2441-2443 |
If equal X and plant fn cashew nut, then X is a subclass of botanical tree |
(=>
(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 |
(=>
(equal ?P
(PlantFn TamarindFruit))
(subclass ?P BotanicalTree)) |
Food.kif 3526-3528 |
If equal X and plant fn tamarind fruit, then X is a subclass of botanical tree |
