ThroughVariableAccumulator(通过变量累加器) |
appearance as argument number 1 |
![]() |
(documentation ThroughVariableAccumulator EnglishLanguage "A PureTwopole that accumulates through variable.") | engineering.kif 515-515 | |
(lexicon ThroughVariableAccumulator LexNoun "{through variable} accumulator") | engineering.kif 516-516 | |
(subclass ThroughVariableAccumulator PureTwopole) | engineering.kif 517-517 | 通过变量累加器 是 纯双极 的 subclass |
appearance as argument number 2 |
![]() |
(subclass SpringElement ThroughVariableAccumulator) | engineering.kif 583-583 | 弹簧元素 是 通过变量累加器 的 subclass |
(termFormat ChineseLanguage ThroughVariableAccumulator "通过变量累加器") | domainEnglishFormat.kif 57932-57932 | |
(termFormat ChineseTraditionalLanguage ThroughVariableAccumulator "通過變量累加器") | domainEnglishFormat.kif 57931-57931 | |
(termFormat EnglishLanguage ThroughVariableAccumulator "through variable accumulator") | domainEnglishFormat.kif 57930-57930 |
antecedent |
![]() |
(=> (instance ?M ThroughVariableAccumulator) (exists (?I) (and (instance ?I InductorElement) (represents ?M ?I)))) |
engineering.kif 554-559 |
![]() |
![]() |