| InductorElement(inductor element)
| | inductance, inductor |
| 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 | Inductor element is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InductorElement "电感元件") | domainEnglishFormat.kif 29789-29789 | |
| (termFormat ChineseTraditionalLanguage InductorElement "電感元件") | domainEnglishFormat.kif 29788-29788 | |
| (termFormat EnglishLanguage InductorElement "inductor element") | domainEnglishFormat.kif 29787-29787 |
| 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 |
|
|
|
|