| (=> (equal ?P (PlantFn Blueberry)) (subclass ?P Shrub)) |
Food.kif 2210-2212 | |
| (subclass Shrub WoodyPlant) | Geography.kif 6255-6255 | Shrub は WoodyPlant の subclass では %n |
| (subclass Lilac Shrub) | Geography.kif 6270-6270 | Lilac は Shrub の subclass では %n |
| (subclass TeaTree Shrub) | Economy.kif 4551-4551 | TeaTree は Shrub の subclass では %n |
| (subclass CoffeePlant Shrub) | Economy.kif 4598-4598 | CoffeePlant は Shrub の subclass では %n |
| (subclass TeaPlant Shrub) | Economy.kif 4724-4724 | TeaPlant は Shrub の subclass では %n |
|
|