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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricalTransformer
ElectricalTransformer(transformer)
Tesla_coil, induction_coil, step-up_transformer, transformer, voltage_regulator

appearance as argument number 1
-------------------------


s__documentation(s__ElectricalTransformer,s__EnglishLanguage,'"A Device for converting one measure of Volts to another. Two coils of wire are inductively coupled around a common core. The ratio of the number of windings in each coil is same as the ratio of the resulting voltages."')

Cars.kif 3081-3084
s__externalImage(s__ElectricalTransformer,'"http://upload.wikimedia.org/wikipedia/ commons/ 7/ 73/ Stromwandler.jpg"')

pictureList.kif 8765-8765
s__externalImage(s__ElectricalTransformer,'"http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7a/ Transformer-hightolow_smaller.jpg"')

pictureList.kif 9772-9772
s__externalImage(s__ElectricalTransformer,'"http://upload.wikimedia.org/wikipedia/ en/ 1/ 1c/ Polemount-singlephase-closeup.jpg"')

pictureList.kif 9774-9774
s__instance(s__ElectricalTransformer,s__Class)

s__subclass(s__ElectricalTransformer,s__Transformer)

s__instance(s__Transformer,s__Class)

Cars.kif 3079-3079 Transformer is a subclass of transformer

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


s__instance(s__ElectricalTransformer,s__Class)

s__subclass(s__IgnitionCoil,s__ElectricalTransformer)

s__instance(s__IgnitionCoil,s__Class)

Cars.kif 3135-3135 Ignition coil is a subclass of transformer
s__termFormat(s__ChineseLanguage,s__ElectricalTransformer,'"变压器"')

domainEnglishFormat.kif 58793-58793
s__termFormat(s__ChineseTraditionalLanguage,s__ElectricalTransformer,'"變壓器"')

domainEnglishFormat.kif 58792-58792
s__termFormat(s__EnglishLanguage,s__ElectricalTransformer,'"electrical transformer"')

Cars.kif 3080-3080
s__termFormat(s__EnglishLanguage,s__ElectricalTransformer,'"transformer"')

domainEnglishFormat.kif 58791-58791

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


s__domain(s__transformerCapacity__m,n__1,s__ElectricalTransformer)

Mid-level-ontology.kif 30558-30558 The number 1 argument of transformer capacity is an instance of transformer
s__domain(s__voltageRatingPrimary__m,n__1,s__ElectricalTransformer)

Mid-level-ontology.kif 30468-30468 The number 1 argument of primary voltage rating is an instance of transformer
s__domain(s__voltageRatingSecondary__m,n__1,s__ElectricalTransformer)

Mid-level-ontology.kif 30511-30511 The number 1 argument of seconary voltage rating is an instance of transformer

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3095-3109
( ! [V__ET] :
   ((s__instance(V__ET,s__ElectricalTransformer) =>
       (( ? [V__WC1, V__WC2] :
           ((s__instance(V__WC1,s__WireCoil) &
               s__instance(V__WC2,s__WireCoil) &
               s__part(V__WC1,V__ET)
             &
             s__part(V__WC2,V__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