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 2107-2110 | |
(domain annualElectricityConsumption 1 GeopoliticalArea) | Economy.kif 2104-2104 | annualElectricityConsumption の数値 1 引数は 地政学的地域 の instance では %n |
(domain annualElectricityConsumption 2 PhysicalQuantity) | Economy.kif 2105-2105 | annualElectricityConsumption の数値 2 引数は 物理量 の instance では %n |
(instance annualElectricityConsumption BinaryPredicate) | Economy.kif 2103-2103 | annualElectricityConsumption は 2進述語 の instance では %n |
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 7656-7656 | |
(termFormat ChineseTraditionalLanguage annualElectricityConsumption "年耗電量") | domainEnglishFormat.kif 7655-7655 | |
(termFormat EnglishLanguage annualElectricityConsumption "annual electricity consumption") | domainEnglishFormat.kif 7654-7654 |
antecedent |
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2123-2130 |
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 2112-2121 |