electricityProductionInPeriod - Sigma Knowledge base Browser

appearance as argument number 1

(documentation electricityProductionInPeriod EnglishLanguage "(electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD) means that the GeopoliticalArea ?AREA generates ?AMOUNT of electricity, measured in KilowattHours, during the TimeInterval indicated by ?PERIOD.")	Economy.kif 2206-2209
(domain electricityProductionInPeriod 1 GeopoliticalArea)	Economy.kif 2202-2202	electricityProductionInPeriod の数値 1 引数は地政学的地域の instance では
(domain electricityProductionInPeriod 2 PhysicalQuantity)	Economy.kif 2203-2203	electricityProductionInPeriod の数値 2 引数は物理量の instance では
(domainSubclass electricityProductionInPeriod 3 TimeInterval)	Economy.kif 2204-2204	electricityProductionInPeriod の数値 3 引数は時間間隔のsubclass では
(instance electricityProductionInPeriod TernaryPredicate)	Economy.kif 2201-2201	electricityProductionInPeriod は 3進述語の instance では

appearance as argument number 2

(format ChineseLanguage electricityProductionInPeriod "%1 %p{是} %n{不是} 对于 %3 在周期 %2 的 electricity 生产")	domainEnglishFormat.kif 883-883
(format ChineseTraditionalLanguage electricityProductionInPeriod "%1 %p{是} %n{不是} 對於 %3 在週期 %2 的 electricity 生產")	domainEnglishFormat.kif 882-882
(format EnglishLanguage electricityProductionInPeriod "%1 %p{is} %n{isn't} electricity production in period %2 for %3")	domainEnglishFormat.kif 881-881
(termFormat ChineseLanguage electricityProductionInPeriod "期间的电力生产")	domainEnglishFormat.kif 21627-21627
(termFormat ChineseTraditionalLanguage electricityProductionInPeriod "期間的電力生產")	domainEnglishFormat.kif 21626-21626
(termFormat EnglishLanguage electricityProductionInPeriod "electricity production in period")	domainEnglishFormat.kif 21625-21625

antecedent

(=>
    (and
        (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityProduction ?AREA ?AMOUNT)))))

Economy.kif 2220-2229

consequent

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

Economy.kif 2231-2238