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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Transducer

Sigma KEE - Transducer
Transducer(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 Transducer is a subclass of device

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


(subclass Engine Transducer) Mid-level-ontology.kif 1724-1724 Engine is a subclass of transducer
(subclass Gyrator Transducer) engineering.kif 630-630 Gyrator is a subclass of transducer
(subclass Transformer Transducer) engineering.kif 624-624 Transformer is a subclass of transducer
(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