Transducer - Sigma Knowledge base Browser

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 2247-2249
(subclass Transducer Device)	Mid-level-ontology.kif 2250-2250	Transducer is a subclass of device
(lexicon Transducer LexNoun "transducer")	engineering.kif 585-585	Transducer is a subclass of device

appearance as argument number 2

(subclass Engine Transducer)	Mid-level-ontology.kif 2252-2252	Engine is a subclass of transducer
(termFormat EnglishLanguage Transducer "transducer")	domainEnglishFormat.kif 58801-58801	Engine is a subclass of transducer
(termFormat ChineseTraditionalLanguage Transducer "傳感器")	domainEnglishFormat.kif 58802-58802	Engine is a subclass of transducer
(termFormat ChineseLanguage Transducer "传感器")	domainEnglishFormat.kif 58803-58803	Engine is a subclass of transducer
(subclass Transformer Transducer)	engineering.kif 710-710	Transformer is a subclass of transducer
(subclass Gyrator Transducer)	engineering.kif 716-716	Gyrator is a subclass of transducer

consequent

(=>
    (instance ?M Twoport)
    (exists (?T)
        (and
            (instance ?T Transducer)
            (represents ?M ?T))))

If X is an instance of twoport, then there exists Y such that Y is an instance of transducer and X expresses Y