(=> (instance ?I ResistorElement) (exists (?S) (and (subclass ?S InsulatorSubstance) (material ?S ?I)))) |
engineering.kif 855-860 |
|
(subclass InsulatorSubstance Substance) | engineering.kif 1286-1286 | InsulatorSubstance est une sous-classe de substance |