TreeView Knowledge Base Browser - electricityImportInPeriod

appearance as argument number 1

(documentation electricityImportInPeriod EnglishLanguage "(electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD) means that the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity (measured in KilowattHours) during the TimeInterval indicated by ?PERIOD.")	Economy.kif 2197-2201
(domain electricityImportInPeriod 1 GeopoliticalArea)	Economy.kif 2193-2193
(domain electricityImportInPeriod 2 PhysicalQuantity)	Economy.kif 2194-2194
(domainSubclass electricityImportInPeriod 3 TimeInterval)	Economy.kif 2195-2195
(instance electricityImportInPeriod TernaryPredicate)	Economy.kif 2192-2192

appearance as argument number 2

(format ChineseLanguage electricityImportInPeriod "%1 %p{是} %n{不是} 对于 %3 在周期 %2 的 electricity 输出")	domainEnglishFormat.kif 879-879
(format ChineseTraditionalLanguage electricityImportInPeriod "%1 %p{是} %n{不是} 對於 %3 在週期 %2 的 electricity 輸出")	domainEnglishFormat.kif 878-878
(format EnglishLanguage electricityImportInPeriod "%1 %p{is} %n{isn't} electricity import in period %2 for %3")	domainEnglishFormat.kif 877-877
(termFormat ChineseLanguage electricityImportInPeriod "电力进口期间")	domainEnglishFormat.kif 21603-21603
(termFormat ChineseTraditionalLanguage electricityImportInPeriod "電力進口期間")	domainEnglishFormat.kif 21602-21602
(termFormat EnglishLanguage electricityImportInPeriod "electricity import in period")	domainEnglishFormat.kif 21601-21601

antecedent

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

Economy.kif 2213-2222

consequent

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

Economy.kif 2224-2231

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: