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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transformer
Transformer
more pictures...

appearance as argument number 1
-------------------------


(documentation Transformer EnglishLanguage "A Transducer for which the ratio of across variables and through variables respectively is equal.") engineering.kif 621-622
(externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Stromwandler.jpg") pictureList.kif 6927-6927
(externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Transformer-hightolow_smaller.jpg") pictureList.kif 8101-8101
(externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Drehstromtransformater_im_Schnitt_Hochspannung.jpg") pictureList.kif 8102-8102
(externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Small_toroidal_transformer.jpg") pictureList.kif 8103-8103
(externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ PoleMountTransformer02.jpg") pictureList.kif 8104-8104
(externalImage Transformer "http://upload.wikimedia.org/wikipedia/en/1/1c/ Polemount-singlephase-closeup.jpg") pictureList.kif 8106-8106
(lexicon Transformer LexNoun "transformer") engineering.kif 623-623
(models Transformer Motor) engineering.kif 743-743
(subclass Transformer Transducer) engineering.kif 624-624

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


(subclass ElectricalTransformer Transformer) Cars.kif 3079-3079
(termFormat ChineseLanguage Transformer "变压器") domainEnglishFormat.kif 58820-58820
(termFormat ChineseTraditionalLanguage Transformer "變壓器") domainEnglishFormat.kif 58819-58819
(termFormat EnglishLanguage Transformer "transformer") domainEnglishFormat.kif 58818-58818

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


(=>
    (instance ?DPS DevicePowerSupply)
    (exists (?T)
        (and
            (instance ?T Transformer)
            (part ?T ?DPS))))
ComputingBrands.kif 3576-3581


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