| (subclass LightBulb ElectricLightFixture) | Cars.kif 5090-5090 | LightBulb è una sottoclasse di ElectricLightFixture |
| (subclass LED LightBulb) | Cars.kif 5102-5102 | LED è una sottoclasse di LightBulb |
| (subclass FluorescentLightBulb LightBulb) | Cars.kif 5106-5106 | FluorescentLightBulb è una sottoclasse di LightBulb |
| (subclass IncandescentLightBulb LightBulb) | Cars.kif 5109-5109 | IncandescentLightBulb è una sottoclasse di LightBulb |
|
|