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 3070-3072 | |
(subclass WireCoil Wire) | Cars.kif 3068-3068 |
appearance as argument number 2 |
(termFormat EnglishLanguage WireCoil "wire coil") | Cars.kif 3069-3069 |
appearance as argument number 3 |
(domain coilCount 1 WireCoil) | Cars.kif 3119-3119 |
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 3102-3116 | |
(=> (instance ?WC WireCoil) (exists (?P ?C) (and (part ?P ?WC) (attribute ?P ?C) (instance ?C ClosedTwoDimensionalFigure)))) |
Cars.kif 3078-3084 | |
(=> (instance ?WC WireCoil) (material ConductorSubstance ?WC)) |
Cars.kif 3074-3076 |
consequent |
(=> (instance ?ET ElectricalTransformer) (exists (?WC1 ?WC2) (and (instance ?WC1 WireCoil) (instance ?WC2 WireCoil) (part ?WC1 ?ET) (part ?WC2 ?ET)))) |
Cars.kif 3093-3100 |