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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Volt

Sigma KEE - Volt
Volt

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


(documentation Volt ChineseLanguage "这是国际单位制量度电压单位,符号:V。它是在載有1 Ampere 恆定電流的導線上,當兩點之間導線上的功率耗散為1 Watt 時,這兩點之間的電位差。 Volt = W/ A = m^2*kg*s^(-3)*A^(-1)。") chinese_format.kif 2542-2544
(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 6929-6933
(documentation Volt JapaneseLanguage "SI電位測定。記号: V。これは、これらの点間で放散される電力 が 1 Watt と等しい場合、1 Ampere の定電流を運ぶ導電線の2点間の電位の差である。Volt = W/ A = m^2*kg*s^(-3)*A^(-1)。") japanese_format.kif 1243-1245
(externalImage Volt "http://upload.wikimedia.org/wikipedia/commons/0/02/ BateriaR14.jpg") pictureList.kif 6963-6963
(instance Volt CompositeUnitOfMeasure) Merge.kif 6926-6926 Volt est une instance de CompositeUnitOfMeasure
(instance Volt SystemeInternationalUnit) Merge.kif 6927-6927 Volt est une instance de syst�me d'unit� international

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


(termFormat ChineseLanguage Volt "伏特") domainEnglishFormat.kif 61935-61935
(termFormat ChineseTraditionalLanguage Volt "伏特") domainEnglishFormat.kif 61934-61934
(termFormat EnglishLanguage Volt "volt") domainEnglishFormat.kif 61933-61933

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
(=>
    (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

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 3095-3109
(=>
    (voltageMeasure ?OBJ ?MEAS)
    (exists (?QUANT)
        (equal ?MEAS
            (MeasureFn ?QUANT Volt))))
Mid-level-ontology.kif 26371-26374


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