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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IgnitionCoil

Sigma KEE - IgnitionCoil
IgnitionCoil(ignition coil)coil, ignition_coil

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


(documentation IgnitionCoil EnglishLanguage "An ElectricalTransformer designed to take 12 Volt power from the Battery of an Automobile and convert it to the 10,000-50,000 volts required to produce a Spark across the SparkPlugs.") Cars.kif 3137-3139
(subclass IgnitionCoil ElectricalTransformer) Cars.kif 3135-3135 Ignition coil is a subclass of transformer
(typicalPart IgnitionCoil Automobile) Cars.kif 3140-3140 A ignition coil is typically a part of a automobile
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3141-3141 A automobile typically has a part ignition coil

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


(termFormat EnglishLanguage IgnitionCoil "ignition coil") Cars.kif 3136-3136

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


(=>
    (and
        (instance ?IC IgnitionCoil)
        (instance ?P ElectricTransmission)
        (resource ?P ?E1)
        (instance ?E1 Electricity)
        (instance ?E2 Electricity)
        (result ?P ?E2)
        (instrument ?P ?IC)
        (measure ?E1
            (MeasureFn ?N1 Volt)))
    (approximateValue ?N1 12))
Cars.kif 3155-3165
(=>
    (instance ?IC IgnitionCoil)
    (hasPurpose ?IC
        (exists (?E1 ?E2 ?P)
            (and
                (instance ?P ElectricTransmission)
                (resource ?P ?E1)
                (instance ?E1 Electricity)
                (instance ?E2 Electricity)
                (result ?P ?E2)
                (instrument ?P ?IC)))))
Cars.kif 3143-3153
(=>
    (instance ?IC IgnitionCoil)
    (hasPurpose ?IC
        (exists (?P ?S)
            (and
                (instance ?P ElectricTransmission)
                (instrument ?P ?IC)
                (instance ?S Spark)
                (causes ?P ?S)))))
Cars.kif 3167-3175


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

Show without tree


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