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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Dissipator

Sigma KEE - Dissipator
Dissipator(dissipator)

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


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

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


(represents ResistorElement Dissipator) engineering.kif 848-848 Resistor element expresses dissipator
(subclass DamperElement Dissipator) engineering.kif 570-570 Damper element is a subclass of dissipator
(termFormat ChineseLanguage Dissipator "消减器") domainEnglishFormat.kif 19923-19923
(termFormat ChineseTraditionalLanguage Dissipator "消減器") domainEnglishFormat.kif 19922-19922
(termFormat EnglishLanguage Dissipator "dissipator") domainEnglishFormat.kif 19921-19921

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


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


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