| (subclass FuelAtomizer Device) | Cars.kif 1105-1105 | FuelAtomizer は デバイス の subclass では %n |
| (subclass FuelInjector FuelAtomizer) | Cars.kif 1126-1126 | FuelInjector は FuelAtomizer の subclass では %n |
| (subclass Carburetor FuelAtomizer) | Cars.kif 1132-1132 | Carburetor は FuelAtomizer の subclass では %n |
|
|