AcrossVariableAccumulator(跨變量累加器) |
appearance as argument number 1 |
(documentation AcrossVariableAccumulator EnglishLanguage "A PureTwopole that accumulates across variable.") | engineering.kif 511-511 | |
(lexicon AcrossVariableAccumulator LexNoun "{across variable} accumulator") | engineering.kif 512-512 | |
(subclass AcrossVariableAccumulator PureTwopole) | engineering.kif 513-513 | 子類 跨變量累加器 and 純雙極 |
appearance as argument number 2 |
(subclass Inertor AcrossVariableAccumulator) | engineering.kif 578-578 | 子類 inertor and 跨變量累加器 |
(termFormat ChineseLanguage AcrossVariableAccumulator "跨变量累加器") | domainEnglishFormat.kif 5340-5340 | |
(termFormat ChineseTraditionalLanguage AcrossVariableAccumulator "跨變量累加器") | domainEnglishFormat.kif 5339-5339 | |
(termFormat EnglishLanguage AcrossVariableAccumulator "across variable accumulator") | domainEnglishFormat.kif 5338-5338 |
antecedent |
(=> (instance ?M AcrossVariableAccumulator) (exists (?C) (and (instance ?C CapacitorElement) (represents ?M ?C)))) |
engineering.kif 536-541 |