Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Volt(volt)
|  | V, electric_potential, electromotive_force, emf, evoked_potential, potential, potential_difference, potential_drop, resting_potential, volt, voltage |
| appearance as argument number 1 |
|
|
| (instance Volt CompositeUnitOfMeasure) | Merge.kif 7045-7045 | Volt is an instance of composite unit of measure |
| (instance Volt SystemeInternationalUnit) | Merge.kif 7046-7046 | Volt is an instance of systeme international unit |
| (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 7048-7052 | Volt is an instance of systeme international unit |
| (externalImage Volt "http://upload.wikimedia.org/wikipedia/commons/0/02/ BateriaR14.jpg") | pictureList.kif 6962-6962 | Volt is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 2984-2998 | If All of the following hold: (1) X is an instance of electrical transformer (2) Y is an instance of wire coil (3) Z is an instance of wire coil (4) the number of coils in Y is W (5) the number of coils in Z is V (6) the measure of Y is volt U(s) holds during X, then the measure of Z is volt T(s) holds during X and equal T, U, V, and W |
| (=> (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 3045-3055 | If All of the following hold: (1) X is an instance of ignition coil (2) Y is an instance of electric transmission (3) Z is a resource for Y (4) Z is an instance of electricity (5) W is an instance of electricity (6) W is a result of Y (7) X is an instrument for Y (8) the measure of Z is V volt(s), then the approximate value of V is 12 |
| consequent |
|
|
| (=> (voltageMeasure ?OBJ ?MEAS) (exists (?QUANT) (equal ?MEAS (MeasureFn ?QUANT Volt)))) |
Mid-level-ontology.kif 28928-28931 | If the voltage of X is Y, then there exists Z such that equal Y and Z volt(s) |
| (=> (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 2984-2998 | If All of the following hold: (1) X is an instance of electrical transformer (2) Y is an instance of wire coil (3) Z is an instance of wire coil (4) the number of coils in Y is W (5) the number of coils in Z is V (6) the measure of Y is volt U(s) holds during X, then the measure of Z is volt T(s) holds during X and equal T, U, V, and W |
| statement |
|
|
| (defaultMinimumMeasure DCPowerSource (MeasureFn 120 Volt)) |
DimensioningAmenities.kif 21-21 | The minimum expected value of DC power source is 120 volt(s) |
| (defaultMaximumMeasure DCPowerSource (MeasureFn 220 Volt)) |
DimensioningAmenities.kif 22-22 | The maximum expected value of DC power source is 220 volt(s) |
| (defaultMinimumMeasure ACPowerSource (MeasureFn 120 Volt)) |
DimensioningAmenities.kif 24-24 | The minimum expected value of ac power source is 120 volt(s) |
| (defaultMaximumMeasure ACPowerSource (MeasureFn 220 Volt)) |
DimensioningAmenities.kif 25-25 | The maximum expected value of ac power source is 220 volt(s) |
|