No TPTP formula. May not be expressible in strict first order. | Cars.kif 5090-5090 | LightBulb 是 ElectricLightFixture 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5102-5102 | LED 是 LightBulb 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5106-5106 | FluorescentLightBulb 是 LightBulb 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5109-5109 | IncandescentLightBulb 是 LightBulb 的 subclass |
![]() |