|
|
   InductorElement
|
|
|
| appearance as argument number 1 |
|
|
| (documentation InductorElement EnglishLanguage "A ThroughVariableAccumulator from electrical energy domain.") | engineering.kif 547-547 | |
| (externalImage InductorElement "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ a1/ Electronic_component_inductors.jpg/ 250px-Electronic_component_inductors.jpg") | pictureList.kif 1147-1147 | |
| (lexicon InductorElement LexNoun "inductor") | engineering.kif 548-548 | |
| (subclass InductorElement ElectricDevice) | engineering.kif 549-549 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InductorElement "电感元件") | domainEnglishFormat.kif 29742-29742 | |
| (termFormat ChineseTraditionalLanguage InductorElement "電感元件") | domainEnglishFormat.kif 29741-29741 | |
| (termFormat EnglishLanguage InductorElement "inductor element") | domainEnglishFormat.kif 29740-29740 |
| consequent |
|
|
| (=> (instance ?M ElectricalTwopole) (exists (?C) (and (instance ?C InductorElement) (represents ?M ?C)))) |
engineering.kif 558-563 | |
| (=> (instance ?M ThroughVariableAccumulator) (exists (?I) (and (instance ?I InductorElement) (represents ?M ?I)))) |
engineering.kif 551-556 |
|
|
|
