| Electricity(electricity)
| | AC, DC, alternating_current, alternating_electric_current, direct_current, direct_electric_current, electrical_energy, electricity |
| appearance as argument number 1 |
|
|
| (subclass Electricity Substance) | Mid-level-ontology.kif 3037-3037 | Electricity is a subclass of substance |
| (documentation Electricity EnglishLanguage "While electricity is typically thought of as just a difference in electrical potential, one way of modeling electricity is as a substance that can be moved from one point to another or consumed. One could make the claim that subatomic physics also supports the classification as a substance since electrons are objects.") | Mid-level-ontology.kif 3038-3042 | Electricity is a subclass of substance |
| (externalImage Electricity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ AerialSubstation.jpeg") | pictureList.kif 4672-4672 | Electricity is a subclass of substance |
| appearance as argument number 2 |
|
|
| (industryProductType ElectricalPowerGeneration Electricity) | Economy.kif 6062-6062 | Electricity is an industry product type of electrical power generation |
| (termFormat EnglishLanguage Electricity "electricity") | domainEnglishFormat.kif 21582-21582 | Electricity is an industry product type of electrical power generation |
| (termFormat ChineseTraditionalLanguage Electricity "電力") | domainEnglishFormat.kif 21583-21583 | Electricity is an industry product type of electrical power generation |
| (termFormat ChineseLanguage Electricity "电力") | domainEnglishFormat.kif 21584-21584 | Electricity is an industry product type of electrical power generation |
| 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 3233-3243 | If All of the following hold: (1) X is an instance of ignition coil (2) Y is an instance of electric transmission (3) Z is a resource for Y (4) Z is an instance of electricity (5) W is an instance of electricity (6) W is a result of Y (7) X is an instrument for Y (8) the measure of Z is V volt(s), then the approximate value of V is 12 |
| (=> (and (instance ?EM Electromagnet) (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)) (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM)))) |
Cars.kif 3971-3981 | If X is an instance of electromagnet, Y is an instance of transfer, Z is an instance of electricity, the object transferred in Y is Z, and X is path along which Y occurs, then there exists W such that W is an instance of magnetism and X is an instrument for W |
| (=> (and (instance ?EM Electromagnet) (not (holdsDuring ?T1 (exists (?T ?E) (and (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)))))) (not (holdsDuring ?T1 (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM)))))) |
Cars.kif 3983-3999 | If X is an instance of electromagnet and there don't exist Y, Z such that Y is an instance of transfer, Z is an instance of electricity, the object transferred in Y is Z, and X is path along which Y occurs doesn't hold during W, then there doesn't exist V such that V is an instance of magnetism and X is an instrument for V doesn't hold during W |
| (=> (and (instance ?DEVICE ElectricDevice) (instance ?BATTERY Battery) (instance ?PROC Process) (patient ?PROC Electricity) (destination ?PROC ?DEVICE) (agent ?PROC ?BATTERY)) (instance ?DEVICE BatteryPoweredDevice)) |
HouseholdAppliances.kif 53-61 | If All of the following hold: (1) X is an instance of electric device (2) Y is an instance of battery (3) Z is an instance of process (4) electricity is a patient of Z (5) Z ends up at X (6) Y is an agent of Z, then X is an instance of battery powered device |
| consequent |
|
|
| (=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R)))) |
Mid-level-ontology.kif 3027-3035 | If X is an instance of electric device, Y is an instance of process, and X is an instrument for Y, then there exists Z such that Z is an instance of electricity and Z is a resource for Y |
| (=> (voltageMeasure ?OBJ ?MEAS) (exists (?ELEC ?PROC) (and (instance ?ELEC Electricity) (instance ?PROC Process) (instrument ?PROC ?OBJ) (result ?PROC ?ELEC) (measure ?ELEC ?MEAS)))) |
Mid-level-ontology.kif 29043-29051 | If the voltage of X is Y, then there exist Z, W such that Z is an instance of electricity, W is an instance of process, X is an instrument for W, Z is a result of W, and the measure of Z is Y |
| (=> (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 33980-33989 | If the FunctionQuantity of X is Y, then All of the following hold: (1) there exist Z, W,, , Z (2) V such that Z is a part of X (3) W is an instance of electric transmission (4) W ends up at Z (5) the object transferred in W is V (6) V is an instance of electricity (7) the measure of V is Y |
| (=> (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 34022-34031 | If the FunctionQuantity of X is Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a part of X (3) W is an instance of electric transmission (4) W originates at Z (5) the object transferred in W is V (6) V is an instance of electricity (7) the measure of V is Y |
| (=> (instance ?S Spark) (exists (?E ?G) (and (instance ?E Electricity) (patient ?S ?E) (instance ?G Substance) (attribute ?G Gas) (eventLocated ?S ?G)))) |
Cars.kif 424-432 | If X is an instance of spark, then there exist Y, Z such that Y is an instance of electricity, Y is a patient of X, Z is an instance of substance, gas is an attribute of Z, and X is located at Z |
| (=> (instance ?G Generator) (hasPurpose ?G (exists (?P ?E) (and (instance ?P Process) (instance ?E Electricity) (result ?P ?E) (instrument ?P ?G))))) |
Cars.kif 1194-1202 | If X is an instance of generator, then X has the purpose there exist Y, Z such that Y is an instance of process, Z is an instance of electricity, Z is a result of Y, and X is an instrument for Y |
| (=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E)))) |
Cars.kif 2387-2392 | If X is an instance of electric transmission, then there exists Y such that Y is an instance of electricity and the object transferred in X is Y |
| (=> (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 3221-3231 | If X is an instance of ignition coil, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of electric transmission (3) Y is a resource for W (4) Y is an instance of electricity (5) Z is an instance of electricity (6) Z is a result of W (7) X is an instrument for W |
| (=> (instance ?DEVICE LightBulb) (hasPurpose ?DEVICE (exists (?RVL ?RES) (and (instance ?RVL RadiatingVisibleLight) (agent ?RVL ?DEVICE) (instance ?RES Electricity) (resource ?RVL ?RES))))) |
HouseholdAppliances.kif 1039-1047 | If X is an instance of light bulb, then X has the purpose there exist Y, Z such that Y is an instance of radiating visible light, X is an agent of Y, Z is an instance of electricity, and Z is a resource for Y |
| (=> (instance ?X ElectroMechanicalFitting) (hasPurpose ?X (exists (?M ?E ?D) (and (instance ?M Motion) (instance ?E Electricity) (resource ?M ?E) (instrument ?M ?X) (patient ?M ?D) (instance ?D Machine))))) |
engineering.kif 896-906 | If X is an instance of electromechanical fitting, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of motion (3) Z is an instance of electricity (4) Z is a resource for Y (5) X is an instrument for Y (6) W is a patient of Y (7) W is an instance of machine |
| (=> (instance ?TRANS TransferSwitch) (hasPurpose ?TRANS (exists (?PROC ?POWER1 ?POWER2 ?E) (and (instance ?PROC Process) (instance ?POWER1 PowerSource) (instance ?POWER2 PowerSource) (instance ?E Electricity) (instrument ?PROC ?TRANS) (holdsDuring (BeginFn (WhenFn ?PROC)) (origin ?E ?POWER1)) (holdsDuring (EndFn (WhenFn ?PROC)) (origin ?E ?POWER1)) (not (equal ?POWER1 ?POWER2)))))) |
engineering.kif 1152-1171 | If X is an instance of transfer switch, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of process (3) Z is an instance of power source (4) W is an instance of power source (5) V is an instance of electricity (6) X is an instrument for Y (7) V originates at Z holds during the beginning of the time of existence of Y (8) V originates at Z holds during the end of the time of existence of Y (9) equal Z (10) W |
| (=> (and (instance ?ORG Organization) (attribute ?ORG ComputerAndElectronicProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Computer) (and (instance ?THING Machine) (exists (?EV3 ?ELEC) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity))))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5120-5144 | If X is an instance of organization and computer and electronic product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of computer or W is an instance of machine (7) there exist T (8) S such that W is a patient of T (9) S is a resource for T (10) S is an instance of electricity (11) W is a patient of Y (12) V is a member of X (13) U is an instance of selling (14) V is an agent of U (15) W is a patient of U |
| (=> (and (instance ?ORG Organization) (attribute ?ORG ElectricalEquipmentApplianceAndComponentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (and (instance ?THING Machine) (exists (?EV3 ?ELEC) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity)))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5415-5437 | If X is an instance of organization and electrical equipment appliance and component manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of machine (7) there exist T (8) S such that W is a patient of T (9) S is a resource for T (10) S is an instance of electricity (11) W is a patient of Y (12) V is a member of X (13) U is an instance of selling (14) V is an agent of U (15) W is a patient of U |
|
|
|