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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Transducer

Sigma KEE - Transducer
Transducer

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


(documentation Transducer EnglishLanguage "A Device which is capable of converting one form of energy into another. Formally, a Twoport that neither stores nor dissipates, but only transfers energy between its two ports.") Mid-level-ontology.kif 1719-1721
(lexicon Transducer LexNoun "transducer") engineering.kif 618-618
(subclass Transducer Device) Mid-level-ontology.kif 1722-1722

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


(subclass Engine Transducer) Mid-level-ontology.kif 1724-1724
(subclass Gyrator Transducer) engineering.kif 630-630
(subclass Transformer Transducer) engineering.kif 624-624
(termFormat ChineseLanguage Transducer "传感器") domainEnglishFormat.kif 58802-58802
(termFormat ChineseTraditionalLanguage Transducer "傳感器") domainEnglishFormat.kif 58801-58801
(termFormat EnglishLanguage Transducer "transducer") domainEnglishFormat.kif 58800-58800

consequent
-------------------------


(=>
    (instance ?M Twoport)
    (exists (?T)
        (and
            (instance ?T Transducer)
            (represents ?M ?T))))
engineering.kif 592-597


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