| 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 | Across variable accumulator is a subclass of pure twopole |
| appearance as argument number 2 |
|
|
| (subclass Inertor AcrossVariableAccumulator) | engineering.kif 578-578 | Inertor is a subclass of across variable accumulator |
| (termFormat ChineseLanguage AcrossVariableAccumulator "跨变量累加器") | domainEnglishFormat.kif 5344-5344 | Inertor is a subclass of across variable accumulator |
| (termFormat ChineseTraditionalLanguage AcrossVariableAccumulator "跨變量累加器") | domainEnglishFormat.kif 5343-5343 | Inertor is a subclass of across variable accumulator |
| (termFormat EnglishLanguage AcrossVariableAccumulator "across variable accumulator") | domainEnglishFormat.kif 5342-5342 | Inertor is a subclass of across variable accumulator |
| antecedent |
|
|
| (=> (instance ?M AcrossVariableAccumulator) (exists (?C) (and (instance ?C CapacitorElement) (represents ?M ?C)))) |
engineering.kif 536-541 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners