(subclass ElectricLightFixture LightFixture) | Cars.kif 5083-5083 | |
(subclass ElectricLightFixture ElectricDevice) | Cars.kif 5084-5084 | |
(subclass IncandescentLightFixture ElectricLightFixture) | Cars.kif 5086-5086 | |
(subclass LEDLightFixture ElectricLightFixture) | Cars.kif 5087-5087 | |
(subclass FluorescentLightFixture ElectricLightFixture) | Cars.kif 5088-5088 | |
(subclass LightBulb ElectricLightFixture) | Cars.kif 5090-5090 |