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 2125-2127
(lexicon Transducer LexNoun "transducer") engineering.kif 615-615
(subclass Transducer Device) Mid-level-ontology.kif 2128-2128

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


(subclass Engine Transducer) Mid-level-ontology.kif 2130-2130
(subclass Gyrator Transducer) engineering.kif 627-627
(subclass Transformer Transducer) engineering.kif 621-621
(termFormat ChineseLanguage Transducer "传感器") domainEnglishFormat.kif 58689-58689
(termFormat ChineseTraditionalLanguage Transducer "傳感器") domainEnglishFormat.kif 58688-58688
(termFormat EnglishLanguage Transducer "transducer") domainEnglishFormat.kif 58687-58687

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners