annualElectricityConsumption |
appearance as argument number 1 |
![]() |
(documentation annualElectricityConsumption EnglishLanguage "(annualElectricityConsumption ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA uses ?AMOUNT of electricity (measured in KilowattHours) annually.") | Economy.kif 2347-2350 | |
(domain annualElectricityConsumption 1 GeopoliticalArea) | Economy.kif 2344-2344 | annualElectricityConsumption の数値 1 引数は 地政学的地域 の instance では |
(domain annualElectricityConsumption 2 PhysicalQuantity) | Economy.kif 2345-2345 | annualElectricityConsumption の数値 2 引数は 物理量 の instance では |
(instance annualElectricityConsumption BinaryPredicate) | Economy.kif 2343-2343 | annualElectricityConsumption は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage annualElectricityConsumption "%2 %n 是 %1 的 annual 电力消耗") | domainEnglishFormat.kif 152-152 | |
(format ChineseTraditionalLanguage annualElectricityConsumption "%2 %n 是 %1 的 annual 電力消耗") | domainEnglishFormat.kif 151-151 | |
(format EnglishLanguage annualElectricityConsumption "%2 is %n an annual electricity consumption of %1") | domainEnglishFormat.kif 150-150 | |
(termFormat ChineseLanguage annualElectricityConsumption "年耗电量") | domainEnglishFormat.kif 7657-7657 | |
(termFormat ChineseTraditionalLanguage annualElectricityConsumption "年耗電量") | domainEnglishFormat.kif 7656-7656 | |
(termFormat EnglishLanguage annualElectricityConsumption "annual electricity consumption") | domainEnglishFormat.kif 7655-7655 |
antecedent |
![]() |
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2363-2370 |
consequent |
![]() |
(=> (and (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT))))) |
Economy.kif 2352-2361 |
![]() |
![]() |