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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Volt
Volt
V, electric_potential, electromotive_force, emf, evoked_potential, potential, potential_difference, potential_drop, resting_potential, volt, voltage

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


(documentation Volt ChineseLanguage "这是国际单位制量度电压单位,符号:V。它是在載有1 Ampere 恆定電流的導線上,當兩點之間導線上的功率耗散為1 Watt 時,這兩點之間的電位差。 Volt = W/ A = m^2*kg*s^(-3)*A^(-1)。") Merge.kif 7165-7167
(documentation Volt EnglishLanguage "SI electric potential measure. Symbol: V. It is the difference of electric potential between two points of a conducting wire carrying a constant current of 1 Ampere, when the power dissipated between these points is equal to 1 Watt. Volt = W/ A = m^2*kg*s^(-3)*A^(-1).") Merge.kif 7160-7164
(externalImage Volt "http://upload.wikimedia.org/wikipedia/commons/0/02/ BateriaR14.jpg") pictureList.kif 6964-6964
(instance Volt CompositeUnitOfMeasure) Merge.kif 7158-7158
(instance Volt SystemeInternationalUnit) Merge.kif 7159-7159

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


(termFormat EnglishLanguage Volt "volt") domainEnglishFormat.kif 10747-10747

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 Volt ?N1)))
    (approximateValue ?N1 12))
Cars.kif 3126-3136
(=>
    (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

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


(=>
    (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
(=>
    (voltageMeasure ?OBJ ?MEAS)
    (equal ?MEAS
        (MeasureFn ?QUANT Volt)))
Mid-level-ontology.kif 24346-24348

statement
-------------------------


(defaultMaximumMeasure ACPowerSource
    (MeasureFn 220 Volt))
DimensioningAmenities.kif 25-25
(defaultMaximumMeasure DCPowerSource
    (MeasureFn 220 Volt))
DimensioningAmenities.kif 22-22
(defaultMinimumMeasure ACPowerSource
    (MeasureFn 120 Volt))
DimensioningAmenities.kif 24-24
(defaultMinimumMeasure DCPowerSource
    (MeasureFn 120 Volt))
DimensioningAmenities.kif 21-21


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