more pictures...| 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 3063-3063 | |
| (termFormat ChineseLanguage Transformer "变压器") | domainEnglishFormat.kif 58822-58822 | |
| (termFormat ChineseTraditionalLanguage Transformer "變壓器") | domainEnglishFormat.kif 58821-58821 | |
| (termFormat EnglishLanguage Transformer "transformer") | domainEnglishFormat.kif 58820-58820 |
| consequent |
|
|
| (=> (instance ?DPS DevicePowerSupply) (exists (?T) (and (instance ?T Transformer) (part ?T ?DPS)))) |
ComputingBrands.kif 3576-3581 |
|
|
|