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 2109-2112 | |
(domain electricityConsumptionInPeriod 1 GeopoliticalArea) | Economy.kif 2105-2105 | The number 1 argument of electricity consumption in period is an instance of geopolitical area |
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) | Economy.kif 2106-2106 | The number 2 argument of electricity consumption in period is an instance of physical quantity |
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval) | Economy.kif 2107-2107 | The number 3 argument of electricity consumption in period is a subclass of time interval |
(instance electricityConsumptionInPeriod TernaryPredicate) | Economy.kif 2104-2104 | electricity consumption in period is an instance of ternary predicate |
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 21579-21579 | |
(termFormat ChineseTraditionalLanguage electricityConsumptionInPeriod "期間用電量") | domainEnglishFormat.kif 21578-21578 | |
(termFormat EnglishLanguage electricityConsumptionInPeriod "electricity consumption in period") | domainEnglishFormat.kif 21577-21577 |
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 2123-2132 |
|
consequent |
![]() |
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2134-2141 |
|
![]() |
![]() |