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 3064-3066 | |
(subclass WireCoil Wire) | Cars.kif 3062-3062 | WireCoil は Wire の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage WireCoil "wire coil") | Cars.kif 3063-3063 |
appearance as argument number 3 |
(domain coilCount 1 WireCoil) | Cars.kif 3112-3112 | coilCount の数値 1 引数は WireCoil の instance では %n |
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 3095-3109 |
|
(=> (instance ?WC WireCoil) (exists (?P) (and (part ?P ?WC) (attribute ?P ClosedTwoDimensionalFigure)))) |
Cars.kif 3072-3077 | |
(=> (instance ?WC WireCoil) (material ConductorSubstance ?WC)) |
Cars.kif 3068-3070 |
consequent |
(=> (instance ?ET ElectricalTransformer) (exists (?WC1 ?WC2) (and (instance ?WC1 WireCoil) (instance ?WC2 WireCoil) (part ?WC1 ?ET) (part ?WC2 ?ET)))) |
Cars.kif 3086-3093 |