| 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 2550-2554 | |
| (externalImage Electricity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ AerialSubstation.jpeg") | pictureList.kif 4673-4673 | |
| (subclass Electricity Substance) | Mid-level-ontology.kif 2549-2549 |
| appearance as argument number 2 |
|
|
| (industryProductType ElectricalPowerGeneration Electricity) | Economy.kif 5725-5725 | |
| (termFormat ChineseLanguage Electricity "电力") | domainEnglishFormat.kif 21582-21582 | |
| (termFormat ChineseTraditionalLanguage Electricity "電力") | domainEnglishFormat.kif 21581-21581 | |
| (termFormat EnglishLanguage Electricity "electricity") | domainEnglishFormat.kif 21580-21580 |
| 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 3878-3888 | |
| (=> (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 3890-3906 | |
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R)))) |
Mid-level-ontology.kif 2539-2547 | |
| (=> (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 2373-2378 | |
| (=> (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 3128-3138 | |
| (=> (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 882-901 | |
| (=> (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 26409-26417 | |
| (=> (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 31286-31295 | |
| (=> (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 31328-31337 |
|
|
|