Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WireCoil
WireCoil(wire coil)primary, primary_coil, primary_winding, secondary, secondary_coil, secondary_winding, spark_coil

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 Wire coil is a subclass of wire

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 The number 1 argument of coilCount is an instance of wire coil

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners