InductorElement |
appearance as argument number 1 |
(documentation InductorElement EnglishLanguage "A ThroughVariableAccumulator from electrical energy domain.") | engineering.kif 550-550 | |
(externalImage InductorElement "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ a1/ Electronic_component_inductors.jpg/ 250px-Electronic_component_inductors.jpg") | pictureList.kif 1146-1146 | |
(lexicon InductorElement LexNoun "inductor") | engineering.kif 551-551 | |
(subclass InductorElement ElectricDevice) | engineering.kif 552-552 | InductorElement ist eine teilkategorie von ElectricDevice |
appearance as argument number 2 |
(termFormat ChineseLanguage InductorElement "电感元件") | domainEnglishFormat.kif 29755-29755 | |
(termFormat ChineseTraditionalLanguage InductorElement "電感元件") | domainEnglishFormat.kif 29754-29754 | |
(termFormat EnglishLanguage InductorElement "inductor element") | domainEnglishFormat.kif 29753-29753 |
consequent |
(=> (instance ?M ElectricalTwopole) (exists (?C) (and (instance ?C InductorElement) (represents ?M ?C)))) |
engineering.kif 561-566 |
|
(=> (instance ?M ThroughVariableAccumulator) (exists (?I) (and (instance ?I InductorElement) (represents ?M ?I)))) |
engineering.kif 554-559 |
|