more pictures...| 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 620-621 | |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Stromwandler.jpg") | pictureList.kif 6926-6926 | |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Transformer_hightolow_smaller.jpg") | pictureList.kif 8100-8100 | |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Drehstromtransformater_im_Schnitt_Hochspannung.jpg") | pictureList.kif 8101-8101 | |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Small_toroidal_transformer.jpg") | pictureList.kif 8102-8102 | |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ PoleMountTransformer02.jpg") | pictureList.kif 8103-8103 | |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/en/1/1c/ Polemount_singlephase_closeup.jpg") | pictureList.kif 8105-8105 | |
| (lexicon Transformer LexNoun "transformer") | engineering.kif 622-622 | |
| (models Transformer Motor) | engineering.kif 742-742 | Transformer can be used as a model for motor |
| (subclass Transformer Transducer) | engineering.kif 623-623 | Transformer is a subclass of transducer |
| appearance as argument number 2 |
|
|
| (subclass ElectricalTransformer Transformer) | Cars.kif 3139-3139 | Transformer is a subclass of transformer |
| (termFormat ChineseLanguage Transformer "变压器") | domainEnglishFormat.kif 58857-58857 | Transformer is a subclass of transformer |
| (termFormat ChineseTraditionalLanguage Transformer "變壓器") | domainEnglishFormat.kif 58856-58856 | Transformer is a subclass of transformer |
| (termFormat EnglishLanguage Transformer "transformer") | domainEnglishFormat.kif 58855-58855 | Transformer is a subclass of transformer |
| consequent |
|
|
| (=> (instance ?DPS DevicePowerSupply) (exists (?T) (and (instance ?T Transformer) (part ?T ?DPS)))) |
ComputingBrands.kif 3576-3581 |
|
|
|
|