| (=> (instance ?I ResistorElement) (exists (?S) (and (subclass ?S InsulatorSubstance) (material ?S ?I)))) |
engineering.kif 855-860 |
|
| (subclass InsulatorSubstance Substance) | engineering.kif 1286-1286 | InsulatorSubstance ist eine teilkategorie von Substance |
|
|