| s__instance(s__LightBulb,s__SetOrClass) s__subclass(s__LightBulb,s__ElectricLightFixture) s__instance(s__ElectricLightFixture,s__SetOrClass)
|
Cars.kif 5105-5105 | Light bulb is a subclass of ElectricLightFixture |
| s__instance(s__LightBulb,s__SetOrClass) s__subclass(s__LED,s__LightBulb) s__instance(s__LED,s__SetOrClass)
|
Cars.kif 5117-5117 | LE d is a subclass of light bulb |
| s__instance(s__LightBulb,s__SetOrClass) s__subclass(s__FluorescentLightBulb,s__LightBulb) s__instance(s__FluorescentLightBulb,s__SetOrClass)
|
Cars.kif 5121-5121 | Fluorescent light bulb is a subclass of light bulb |
| s__instance(s__LightBulb,s__SetOrClass) s__subclass(s__IncandescentLightBulb,s__LightBulb) s__instance(s__IncandescentLightBulb,s__SetOrClass)
|
Cars.kif 5124-5124 | Light bulb is a subclass of light bulb |
|
|