| 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 1785-1787 | |
| (lexicon Transducer LexNoun "transducer") | engineering.kif 617-617 | |
| (subclass Transducer Device) | Mid-level-ontology.kif 1788-1788 | Transducer is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass Engine Transducer) | Mid-level-ontology.kif 1790-1790 | Engine is a subclass of transducer |
| (subclass Gyrator Transducer) | engineering.kif 629-629 | Gyrator is a subclass of transducer |
| (subclass Transformer Transducer) | engineering.kif 623-623 | Transformer is a subclass of transducer |
| (termFormat ChineseLanguage Transducer "传感器") | domainEnglishFormat.kif 58839-58839 | Transformer is a subclass of transducer |
| (termFormat ChineseTraditionalLanguage Transducer "傳感器") | domainEnglishFormat.kif 58838-58838 | Transformer is a subclass of transducer |
| (termFormat EnglishLanguage Transducer "transducer") | domainEnglishFormat.kif 58837-58837 | Transformer is a subclass of transducer |
| consequent |
|
|
| (=> (instance ?M Twoport) (exists (?T) (and (instance ?T Transducer) (represents ?M ?T)))) |
engineering.kif 591-596 |
|
|
|
|