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 2557-2561 | |
(externalImage Electricity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ AerialSubstation.jpeg") | pictureList.kif 4673-4673 | |
(subclass Electricity Substance) | Mid-level-ontology.kif 2556-2556 | 子類 電力 and Substance |
appearance as argument number 2 |
(industryProductType ElectricalPowerGeneration Electricity) | Economy.kif 5725-5725 | 電力 是 發電 的 industry 產品類別 |
(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 3893-3903 | |
(=> (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 3905-3921 | |
(=> (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 3155-3165 |
consequent |