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, wire_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 3035-3037
(subclass WireCoil Wire) Cars.kif 3033-3033 Wire coil is a subclass of wire

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage WireCoil "wire coil") Cars.kif 3034-3034 "wire coil" is the printable form of wire coil in english language

appearance as argument number 3
-------------------------


(domain coilCount 1 WireCoil) Cars.kif 3083-3083 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 3066-3080
(=>
    (instance ?WC WireCoil)
    (exists (?P)
        (and
            (part ?P ?WC)
            (attribute ?P ClosedTwoDimensionalFigure))))
Cars.kif 3043-3048
(=>
    (instance ?WC WireCoil)
    (material ConductorSubstance ?WC))
Cars.kif 3039-3041

consequent
-------------------------


(=>
    (instance ?ET ElectricalTransformer)
    (exists (?WC1 ?WC2)
        (and
            (instance ?WC1 WireCoil)
            (instance ?WC2 WireCoil)
            (part ?WC1 ?ET)
            (part ?WC2 ?ET))))
Cars.kif 3057-3064


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners