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 2391-2394
(subclass ElectricTransmission RadiatingElectromagnetic)	Cars.kif 2389-2389	Electric transmission is a subclass of radiating electromagnetic
(subclass ElectricTransmission Transfer)	Cars.kif 2388-2388	Electric transmission is a subclass of transfer

appearance as argument number 2

(subclass Charging ElectricTransmission)	Cars.kif 2403-2403	Charging is a subclass of electric transmission
(subclass Discharging ElectricTransmission)	Cars.kif 2425-2425	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 2390-2390

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 3163-3173	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 2396-2401	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 2508-2516	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 3151-3161	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 3175-3183	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 31250-31259	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 31292-31301	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