| Electricity
| |
| appearance as argument number 1 |
|
|
| (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 3020-3024 | |
| (externalImage Electricity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ AerialSubstation.jpeg") | pictureList.kif 4672-4672 | |
| (subclass Electricity Substance) | Mid-level-ontology.kif 3019-3019 |
| appearance as argument number 2 |
|
|
| (industryProductType ElectricalPowerGeneration Electricity) | Economy.kif 6067-6067 | |
| (termFormat ChineseLanguage Electricity "电力") | domainEnglishFormat.kif 21591-21591 | |
| (termFormat ChineseTraditionalLanguage Electricity "電力") | domainEnglishFormat.kif 21590-21590 | |
| (termFormat EnglishLanguage Electricity "electricity") | domainEnglishFormat.kif 21589-21589 |
| antecedent |
|
|
| (=> (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 3954-3964 | |
| (=> (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 3966-3982 | |
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R)))) |
Mid-level-ontology.kif 3009-3017 | |
| (=> (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 5126-5150 | |
| (=> (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 5421-5443 | |
| (=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E)))) |
Cars.kif 2374-2379 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 1195-1214 | |
| (=> (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 939-949 | |
| (=> (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 28275-28283 | |
| (=> (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 33199-33208 | |
| (=> (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 33241-33250 |
|
|
|