| 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 6896-6900 | |
| (externalImage Volt "http://upload.wikimedia.org/wikipedia/commons/0/02/ BateriaR14.jpg") | pictureList.kif 6964-6964 | |
| (instance Volt CompositeUnitOfMeasure) | Merge.kif 6893-6893 | 伏特 是 CompositeUnitOfMeasure 的 instance |
| (instance Volt SystemeInternationalUnit) | Merge.kif 6894-6894 | 伏特 是 国际单位制 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Volt "伏特") | domainEnglishFormat.kif 61905-61905 | |
| (termFormat ChineseTraditionalLanguage Volt "伏特") | domainEnglishFormat.kif 61904-61904 | |
| (termFormat EnglishLanguage Volt "volt") | domainEnglishFormat.kif 61903-61903 |
| 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 26280-26283 |
|
|
|