TreeView Knowledge Base Browser

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	WireCoil est une sous-classe de Wire

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

Le nombre 1 argument de coilCount est une instance de WireCoil

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	Position temporel est une instance de ElectricalTransformer WireCoil est une instance de WireCoil WireCoil est une instance de WireCoil coilCount WireCoil and nombre entier coilCount WireCoil and nombre entier la mesure de WireCoil est Volt nombre r�el(s) pendant position temporel la mesure de WireCoil est Volt nombre r�el(s) pendant position temporel nombre r�el est nombre r�el + nombre entier + nombre entier
(=> (instance ?WC WireCoil) (exists (?P ?C) (and (part ?P ?WC) (attribute ?P ?C) (instance ?C ClosedTwoDimensionalFigure))))	Cars.kif 3055-3061	Objet est une instance de WireCoil objet attribut objet est une partie de objet attribut est un attribut de objet attribut est une instance de ClosedTwoDimensionalFigure
(=> (instance ?WC WireCoil) (material ConductorSubstance ?WC))	Cars.kif 3051-3053	Objet corpusculaire est une instance de WireCoil ConductorSubstance est fait de objet corpusculaire

consequent

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

Cars.kif 3070-3077