| (=> (equal ?P (PlantFn Blueberry)) (subclass ?P Shrub)) |
Food.kif 2217-2219 |
|
| (subclass Shrub WoodyPlant) | Geography.kif 7869-7869 | Shrub is a subclass of WoodyPlant |
| (subclass Lilac Shrub) | Geography.kif 7885-7885 | Lilac is a subclass of Shrub |
| (subclass TeaTree Shrub) | Economy.kif 4884-4884 | TeaTree is a subclass of Shrub |
| (subclass CoffeePlant Shrub) | Economy.kif 4931-4931 | CoffeePlant is a subclass of Shrub |
| (subclass TeaPlant Shrub) | Economy.kif 5057-5057 | TeaPlant is a subclass of Shrub |
|
|