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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dissipator
Dissipator(消减器)

appearance as argument number 1
-------------------------


(documentation Dissipator EnglishLanguage "A PureTwopole that models a dissipation of energy.") engineering.kif 508-508
(subclass Dissipator PureTwopole) engineering.kif 509-509 消减器纯双极subclass

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


(represents ResistorElement Dissipator) engineering.kif 850-850 电阻元件 表达 消减器
(subclass DamperElement Dissipator) engineering.kif 573-573 阻尼元件消减器subclass
(termFormat ChineseLanguage Dissipator "消减器") domainEnglishFormat.kif 19932-19932
(termFormat ChineseTraditionalLanguage Dissipator "消減器") domainEnglishFormat.kif 19931-19931
(termFormat EnglishLanguage Dissipator "dissipator") domainEnglishFormat.kif 19930-19930

antecedent
-------------------------


(=>
    (instance ?M Dissipator)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 836-841


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