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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dissipator
Dissipator(dissipator)dissipator, 消减器, 消減器

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


(documentation Dissipator EnglishLanguage "A PureTwopole that models a dissipation of energy.") engineering.kif 501-501
(subclass Dissipator PureTwopole) engineering.kif 502-502 Dissipator is a subclass of pure twopole

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


(represents ResistorElement Dissipator) engineering.kif 844-844 Resistor element expresses dissipator
(subclass DamperElement Dissipator) engineering.kif 566-566 Damper element is a subclass of dissipator
(termFormat ChineseLanguage Dissipator "消减器") domainEnglishFormat.kif 19861-19861 "消减器" is the printable form of dissipator in ChineseLanguage
(termFormat ChineseTraditionalLanguage Dissipator "消減器") domainEnglishFormat.kif 19860-19860 "消減器" is the printable form of dissipator in ChineseTraditionalLanguage
(termFormat EnglishLanguage Dissipator "dissipator") domainEnglishFormat.kif 19859-19859 "dissipator" is the printable form of dissipator in english language

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners