Volt - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Volt

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^2kgs^(-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^2kgs^(-3)*A^(-1).")	Merge.kif 6920-6924
(documentation Volt JapaneseLanguage "SI電位測定。記号: V。これは、これらの点間で放散される電力が　1 Watt と等しい場合、1 Ampere の定電流を運ぶ導電線の2点間の電位の差である。Volt = W/ A = m^2kgs^(-3)*A^(-1)。")	japanese_format.kif 1243-1245
(externalImage Volt "http://upload.wikimedia.org/wikipedia/commons/0/02/ BateriaR14.jpg")	pictureList.kif 6962-6962
(instance Volt CompositeUnitOfMeasure)	Merge.kif 6917-6917	Volt is an instance of composite unit of measure
(instance Volt SystemeInternationalUnit)	Merge.kif 6918-6918	Volt is an instance of systeme international unit

appearance as argument number 2

(termFormat ChineseLanguage Volt "伏特")	domainEnglishFormat.kif 61958-61958
(termFormat ChineseTraditionalLanguage Volt "伏特")	domainEnglishFormat.kif 61957-61957
(termFormat EnglishLanguage Volt "volt")	domainEnglishFormat.kif 61956-61956

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 3216-3226	If an object is an instance of ignition coil and a process is an instance of electric transmission and another object is a resource for the process and the other object is an instance of electricity and an entity is an instance of electricity and the entity is a result of the process and the object is an instrument for the process and the measure of the other object is a real number volt(s), then the approximate value of the real number is 12
(=> (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 3155-3169	If a time position is an instance of transformer and a wire coil is an instance of wire coil and another wire coil is an instance of wire coil and the number of coils in the wire coil is an integer and the number of coils in the other wire coil is another integer and the measure of the wire coil is volt a real number(s) holds during the time position, then the measure of the other wire coil is volt another real number(s) holds during the time position and the other real number is equal to the real number and the other integer and the integer

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 3155-3169	If a time position is an instance of transformer and a wire coil is an instance of wire coil and another wire coil is an instance of wire coil and the number of coils in the wire coil is an integer and the number of coils in the other wire coil is another integer and the measure of the wire coil is volt a real number(s) holds during the time position, then the measure of the other wire coil is volt another real number(s) holds during the time position and the other real number is equal to the real number and the other integer and the integer
(=> (voltageMeasure ?OBJ ?MEAS) (exists (?QUANT) (equal ?MEAS (MeasureFn ?QUANT Volt))))	Mid-level-ontology.kif 27466-27469	If the voltage of a power source is a physical quantity, then there exists a real number such that the physical quantity is equal to the real number volt(s)

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 3.0 is open source software produced by Articulate Software and its partners