electricityConsumptionInPeriod |
appearance as argument number 1 |
![]() |
(documentation electricityConsumptionInPeriod EnglishLanguage "(electricityConsumptionInPeriod ?AREA ?AMOUNT ?YEAR) means that the GeopoliticalArea ?AREA used ?AMOUNT of electricity (measured in KilowattHours) during the TimeInterval indicated by ?YEAR.") | Economy.kif 2338-2341 | |
(domain electricityConsumptionInPeriod 1 GeopoliticalArea) | Economy.kif 2334-2334 | electricityConsumptionInPeriod の数値 1 引数は 地政学的地域 の instance では |
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) | Economy.kif 2335-2335 | electricityConsumptionInPeriod の数値 2 引数は 物理量 の instance では |
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval) | Economy.kif 2336-2336 | electricityConsumptionInPeriod の数値 3 引数は 時間間隔 のsubclass では |
(instance electricityConsumptionInPeriod TernaryPredicate) | Economy.kif 2333-2333 | electricityConsumptionInPeriod は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage electricityConsumptionInPeriod "%1 %p{是} %n{不是} 对于 %3 在其间 %2 的 electricity 消耗") | domainEnglishFormat.kif 860-860 | |
(format ChineseTraditionalLanguage electricityConsumptionInPeriod "%1 %p{是} %n{不是} 對於 %3 在其間 %2 的 electricity 消耗") | domainEnglishFormat.kif 859-859 | |
(format EnglishLanguage electricityConsumptionInPeriod "%1 %p{is} %n{isn't} electricity consumption in period %2 for %3") | domainEnglishFormat.kif 858-858 | |
(termFormat ChineseLanguage electricityConsumptionInPeriod "期间用电量") | domainEnglishFormat.kif 21597-21597 | |
(termFormat ChineseTraditionalLanguage electricityConsumptionInPeriod "期間用電量") | domainEnglishFormat.kif 21596-21596 | |
(termFormat EnglishLanguage electricityConsumptionInPeriod "electricity consumption in period") | domainEnglishFormat.kif 21595-21595 |
antecedent |
![]() |
(=> (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 |
consequent |
![]() |
(=> (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 |
![]() |
![]() |