| (=> (instance ?C ElectricalConductor) (exists (?S) (and (subclass ?S ConductorSubstance) (material ?S ?C)))) |
engineering.kif 826-831 |
|
| (subclass ElectricalConductor ElectricalComponent) | engineering.kif 825-825 | ElectricalConductor ist eine teilkategorie von ElectricalComponent |
|
|