electricityConsumptionInPeriod - Sigma Knowledge base Browser

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 2102-2105
(domain electricityConsumptionInPeriod 1 GeopoliticalArea)	Economy.kif 2098-2098	electricityConsumptionInPeriod の数値 1 引数は地政学的地域の instance では %n
(domain electricityConsumptionInPeriod 2 PhysicalQuantity)	Economy.kif 2099-2099	electricityConsumptionInPeriod の数値 2 引数は物理量の instance では %n
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval)	Economy.kif 2100-2100	electricityConsumptionInPeriod の数値 3 引数は時間間隔のsubclass では %n
(instance electricityConsumptionInPeriod TernaryPredicate)	Economy.kif 2097-2097	electricityConsumptionInPeriod は 3進述語の instance では %n

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 21517-21517	termFormat ChineseLanguage, electricityConsumptionInPeriod and "期间用电量"
(termFormat ChineseTraditionalLanguage electricityConsumptionInPeriod "期間用電量")	domainEnglishFormat.kif 21516-21516	termFormat ChineseTraditionalLanguage, electricityConsumptionInPeriod and "期間用電量"
(termFormat EnglishLanguage electricityConsumptionInPeriod "electricity consumption in period")	domainEnglishFormat.kif 21515-21515	termFormat EnglishLanguage, electricityConsumptionInPeriod and "electricity consumption in period"

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 2116-2125

consequent

(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))

Economy.kif 2127-2134