Transformer
|
|
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 | models Transformer and Motor |
(subclass Transformer Transducer) | engineering.kif 624-624 | Transformer e' uma sub-classe de Transducer |
appearance as argument number 2 |
(subclass ElectricalTransformer Transformer) | Cars.kif 3086-3086 | ElectricalTransformer e' uma sub-classe de Transformer |
(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 |
|