| WireCoil | |
| appearance as argument number 1 |
|
|
| (documentation WireCoil EnglishLanguage "A length of Wire wound in a set of Circles or Polygons, intended to conduct Electricity, and often used in the construction of ElectricalTransformers.") | Cars.kif 3047-3049 | |
| (subclass WireCoil Wire) | Cars.kif 3045-3045 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WireCoil "wire coil") | Cars.kif 3046-3046 |
| appearance as argument number 3 |
|
|
| (domain coilCount 1 WireCoil) | Cars.kif 3096-3096 |
| antecedent |
|
|
| (=> (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 3079-3093 | |
| (=> (instance ?WC WireCoil) (exists (?P ?C) (and (part ?P ?WC) (attribute ?P ?C) (instance ?C ClosedTwoDimensionalFigure)))) |
Cars.kif 3055-3061 | |
| (=> (instance ?WC WireCoil) (material ConductorSubstance ?WC)) |
Cars.kif 3051-3053 |
| consequent |
|
|
| (=> (instance ?ET ElectricalTransformer) (exists (?WC1 ?WC2) (and (instance ?WC1 WireCoil) (instance ?WC2 WireCoil) (part ?WC1 ?ET) (part ?WC2 ?ET)))) |
Cars.kif 3070-3077 |
|
|
|