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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 2182-2184
(lexicon Transducer LexNoun "transducer") engineering.kif 617-617
(subclass Transducer Device) Mid-level-ontology.kif 2185-2185

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


(subclass Engine Transducer) Mid-level-ontology.kif 2187-2187
(subclass Gyrator Transducer) engineering.kif 629-629
(subclass Transformer Transducer) engineering.kif 623-623
(termFormat ChineseLanguage Transducer "传感器") domainEnglishFormat.kif 58810-58810
(termFormat ChineseTraditionalLanguage Transducer "傳感器") domainEnglishFormat.kif 58809-58809
(termFormat EnglishLanguage Transducer "transducer") domainEnglishFormat.kif 58808-58808

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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