TreeView Knowledge Base Browser - Volt

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Volt

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2542-2544
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6929-6933
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1243-1245
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6963-6963
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6926-6926	Volt is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6927-6927	Volt is an instance of systeme international unit

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61935-61935
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61934-61934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61933-61933

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3155-3165	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3095-3109	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

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3095-3109	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26371-26374	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 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