| (subclass WheelRim Device) | Cars.kif 4814-4814 | WheelRim は デバイス の subclass では %n |
| (subclass SimmonsWheelRim WheelRim) | Cars.kif 4847-4847 | SimmonsWheelRim は WheelRim の subclass では %n |
| (subclass FordWheelRim WheelRim) | Cars.kif 4911-4911 | FordWheelRim は WheelRim の subclass では %n |
|
|