TreeView Knowledge Base Browser

appearance as argument number 1

(subclass WireCoil Wire)	Cars.kif 2957-2957	Wire coil is a subclass of wire
(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 2959-2961	Wire coil is a subclass of wire

appearance as argument number 2

(termFormat EnglishLanguage WireCoil "wire coil")

appearance as argument number 3

(domain coilCount 1 WireCoil)

The number 1 argument of coil count is an instance of wire coil

antecedent

(=> (instance ?WC WireCoil) (material ConductorSubstance ?WC))	Cars.kif 2963-2965	If X is an instance of wire coil, then X is made of conductor substance
(=> (instance ?WC WireCoil) (exists (?P ?C) (and (part ?P ?WC) (attribute ?P ?C) (instance ?C ClosedTwoDimensionalFigure))))	Cars.kif 2967-2973	If X is an instance of wire coil, then there exist Y, Z such that Y is a part of X, Z is an attribute of Y, and Z is an instance of closed two dimensional figure
(=> (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

consequent

(=>
    (instance ?ET ElectricalTransformer)
    (exists (?WC1 ?WC2)
        (and
            (instance ?WC1 WireCoil)
            (instance ?WC2 WireCoil)
            (part ?WC1 ?ET)
            (part ?WC2 ?ET))))

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