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 2369-2372
(subclass ElectricTransmission RadiatingElectromagnetic)	Cars.kif 2367-2367	Electric transmission is a subclass of radiating electromagnetic
(subclass ElectricTransmission Transfer)	Cars.kif 2366-2366	Electric transmission is a subclass of transfer

appearance as argument number 2

(subclass Charging ElectricTransmission)	Cars.kif 2381-2381	Charging is a subclass of electric transmission
(subclass Discharging ElectricTransmission)	Cars.kif 2403-2403	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 2368-2368	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 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
(=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E))))	Cars.kif 2374-2379	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 2486-2494	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 3204-3214	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 3228-3236	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 32377-32386	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 32419-32428	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