Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ElectricalTransformer
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ElectricalTransformer Transformer) | engineering.kif 590-590 | Electrical transformer is a subclass of transformer |
| (documentation ElectricalTransformer EnglishLanguage "A Device for converting one measure of Volts to another. Two coils of wire are inductively coupled around a common core. The ratio of the number of windings in each coil is same as the ratio of the resulting voltages.") | engineering.kif 592-595 | Electrical transformer is a subclass of transformer |
| (externalImage ElectricalTransformer "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 73/ Stromwandler.jpg") | pictureList.kif 8763-8763 | Electrical transformer is a subclass of transformer |
| (externalImage ElectricalTransformer "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7a/ Transformer_hightolow_smaller.jpg") | pictureList.kif 9763-9763 | Electrical transformer is a subclass of transformer |
| (externalImage ElectricalTransformer "http://upload.wikimedia.org/wikipedia/ en/ 1/ 1c/ Polemount_singlephase_closeup.jpg") | pictureList.kif 9765-9765 | Electrical transformer is a subclass of transformer |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain voltageRatingPrimary 1 ElectricalTransformer) | engineering.kif 619-619 | The number 1 argument of primary voltage rating is an instance of electrical transformer |
| (domain voltageRatingSecondary 1 ElectricalTransformer) | engineering.kif 662-662 | The number 1 argument of seconary voltage rating is an instance of electrical transformer |
| (domain transformerCapacity 1 ElectricalTransformer) | engineering.kif 684-684 | The number 1 argument of transformer capacity is an instance of electrical transformer |
| antecedent |
|
|
| (=> (instance ?ET ElectricalTransformer) (exists (?WC1 ?WC2) (and (instance ?WC1 WireCoil) (instance ?WC2 WireCoil) (part ?WC1 ?ET) (part ?WC2 ?ET)))) |
Cars.kif 2975-2982 | If X is an instance of electrical transformer, then there exist Y, Z such that Y is an instance of wire coil, Z is an instance of wire coil, Y is a part of X, and Z is a part of X |
| (=> (and (instance ?T ElectricalTransformer) (instance ?WC1 WireCoil) (instance ?WC2 WireCoil) (coilCount ?WC1 ?N1) (coilCount ?WC2 ?N2) (holdsDuring ?T (measure ?WC1 (MeasureFn Volt ?V1)))) (and (holdsDuring ?T (measure ?WC2 (MeasureFn Volt ?V2))) (equal ?V2 (MultiplicationFn ?V1 (DivisionFn ?N2 ?N1))))) |
Cars.kif 2984-2998 | If All of the following hold: (1) X is an instance of electrical transformer (2) Y is an instance of wire coil (3) Z is an instance of wire coil (4) the number of coils in Y is W (5) the number of coils in Z is V (6) the measure of Y is volt U(s) holds during X, then the measure of Z is volt T(s) holds during X and equal T, U, V, and W |
|
