ElectricTransmission - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ElectricTransmission

ElectricTransmission(electric transmission)

appearance as argument number 1

(documentation ElectricTransmission EnglishLanguage "The movement of a electric potential (modeled as a Substance) from one point to another necessarily through a conductive medium (although the degree of conductivity may be quite low, as in Lightning through Air).")	Cars.kif 2368-2371
(subclass ElectricTransmission RadiatingElectromagnetic)	Cars.kif 2366-2366	Electric transmission is a subclass of radiating electromagnetic
(subclass ElectricTransmission Transfer)	Cars.kif 2365-2365	Electric transmission is a subclass of transfer

appearance as argument number 2

(subclass Charging ElectricTransmission)	Cars.kif 2380-2380	Charging is a subclass of electric transmission
(subclass Discharging ElectricTransmission)	Cars.kif 2402-2402	Discharging is a subclass of electric transmission
(subclass Spark ElectricTransmission)	Cars.kif 418-418	Spark is a subclass of electric transmission
(termFormat EnglishLanguage ElectricTransmission "electric transmission")	Cars.kif 2367-2367	Spark is a subclass of electric transmission

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 3140-3150	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
(=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E))))	Cars.kif 2373-2378	If a transfer is an instance of electric transmission, then there exists an object such that the object is an instance of electricity and the object transferred in the transfer is the object

consequent

(=> (instance ?E Electrolyte) (hasPurpose ?E (exists (?ET) (and (instance ?ET ElectricTransmission) (patient ?ET ?E) (holdsDuring ?ET (attribute ?E Liquid))))))	Cars.kif 2485-2493	If a physical is an instance of electrolyte, then the physical has the purpose there exists the physicalT such that the physicalT is an instance of electric transmission and the physical is a patient of the physicalT and liquid is an attribute of the physical holds during the physicalT
(=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?E1 ?E2 ?P) (and (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC)))))	Cars.kif 3128-3138	If a physical is an instance of ignition coil, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of electric transmission and the entity is a resource for the third entity and the entity is an instance of electricity and the other entity is an instance of electricity and the other entity is a result of the third entity and the physical is an instrument for the third entity
(=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?P ?S) (and (instance ?P ElectricTransmission) (instrument ?P ?IC) (instance ?S Spark) (causes ?P ?S)))))	Cars.kif 3152-3160	If a physical is an instance of ignition coil, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electric transmission and the physical is an instrument for the entity and the other entity is an instance of spark and the entity causes the other entity
(=> (voltageRatingPrimary ?O ?Q) (exists (?P ?EC ?P ?E) (and (part ?P ?O) (instance ?EC ElectricTransmission) (destination ?EC ?P) (objectTransferred ?EC ?E) (instance ?E Electricity) (measure ?E ?Q))))	Mid-level-ontology.kif 31519-31528	If the FunctionQuantity of a transformer is a function quantity, then there exist an object, a transfer,, , the object and another object such that the object is a part of the transformer and the transfer is an instance of electric transmission and the transfer ends up at the object and the object transferred in the transfer is the other object and the other object is an instance of electricity and the measure of the other object is the function quantity
(=> (voltageRatingSecondary ?O ?Q) (exists (?S ?EC ?E) (and (part ?S ?O) (instance ?EC ElectricTransmission) (origin ?EC ?S) (objectTransferred ?EC ?E) (instance ?E Electricity) (measure ?E ?Q))))	Mid-level-ontology.kif 31561-31570	If the FunctionQuantity of a transformer is a function quantity, then there exist an object, a transfer and another object such that the object is a part of the transformer and the transfer is an instance of electric transmission and the transfer originates at the object and the object transferred in the transfer is the other object and the other object is an instance of electricity and the measure of the other object is the function quantity

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