Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThroughVariableAccumulator

Sigma KEE - ThroughVariableAccumulator
ThroughVariableAccumulator(through variable accumulator)

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 Through variable accumulator is a subclass of pure twopole

appearance as argument number 2
-------------------------


(subclass SpringElement ThroughVariableAccumulator) engineering.kif 583-583 Spring element is a subclass of through variable accumulator
(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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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