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 2098-2101 | |
(domain electricityConsumptionInPeriod 1 GeopoliticalArea) | Economy.kif 2094-2094 | |
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) | Economy.kif 2095-2095 | |
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval) | Economy.kif 2096-2096 | |
(instance electricityConsumptionInPeriod TernaryPredicate) | Economy.kif 2093-2093 |
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 21588-21588 | |
(termFormat ChineseTraditionalLanguage electricityConsumptionInPeriod "期間用電量") | domainEnglishFormat.kif 21587-21587 | |
(termFormat EnglishLanguage electricityConsumptionInPeriod "electricity consumption in period") | domainEnglishFormat.kif 21586-21586 |
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 2112-2121 |
consequent |
(=> (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 |