Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 587-588 | |
| (lexicon Transformer LexNoun "transformer") | engineering.kif 709-709 | |
| (subclass Transformer Transducer) | engineering.kif 710-710 | Transformer is a subclass of transducer |
| (models Transformer Motor) | engineering.kif 829-829 | Transformer can be used as a model for motor |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Stromwandler.jpg") | pictureList.kif 6926-6926 | Transformer can be used as a model for motor |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Transformer_hightolow_smaller.jpg") | pictureList.kif 8100-8100 | Transformer can be used as a model for motor |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Drehstromtransformater_im_Schnitt_Hochspannung.jpg") | pictureList.kif 8101-8101 | Transformer can be used as a model for motor |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Small_toroidal_transformer.jpg") | pictureList.kif 8102-8102 | Transformer can be used as a model for motor |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ PoleMountTransformer02.jpg") | pictureList.kif 8103-8103 | Transformer can be used as a model for motor |
| (externalImage Transformer "http://upload.wikimedia.org/wikipedia/en/1/1c/ Polemount_singlephase_closeup.jpg") | pictureList.kif 8105-8105 | Transformer can be used as a model for motor |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?DPS DevicePowerSupply) (exists (?T) (and (instance ?T Transformer) (part ?T ?DPS)))) |
ComputingBrands.kif 3482-3487 | If X is an instance of device power supply, then there exists Y such that Y is an instance of transformer and Y is a part of X |
|