| InductorElement(inductor element)
| | inductance, inductor |
| appearance as argument number 1 |
|
|
| (documentation InductorElement EnglishLanguage "A ThroughVariableAccumulator from electrical energy domain.") | engineering.kif 549-549 | |
| (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 550-550 | |
| (subclass InductorElement ElectricDevice) | engineering.kif 551-551 | Inductor element is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InductorElement "电感元件") | domainEnglishFormat.kif 29783-29783 | |
| (termFormat ChineseTraditionalLanguage InductorElement "電感元件") | domainEnglishFormat.kif 29782-29782 | |
| (termFormat EnglishLanguage InductorElement "inductor element") | domainEnglishFormat.kif 29781-29781 |
| consequent |
|
|
| (=> (instance ?M ElectricalTwopole) (exists (?C) (and (instance ?C InductorElement) (represents ?M ?C)))) |
engineering.kif 560-565 |
|
| (=> (instance ?M ThroughVariableAccumulator) (exists (?I) (and (instance ?I InductorElement) (represents ?M ?I)))) |
engineering.kif 553-558 |
|
|
|
|