TreeView Knowledge Base Browser - electricityExportInPeriod

appearance as argument number 1

(documentation electricityExportInPeriod EnglishLanguage "(electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) during the TimeInterval indicated by ?PERIOD.")	Economy.kif 2141-2145
(domain electricityExportInPeriod 1 GeopoliticalArea)	Economy.kif 2137-2137	电力出口期间的 1 数量是地缘政治区域的 instance
(domain electricityExportInPeriod 2 PhysicalQuantity)	Economy.kif 2138-2138	电力出口期间的 2 数量是物理量的 instance
(domainSubclass electricityExportInPeriod 3 TimeInterval)	Economy.kif 2139-2139	电力出口期间的 3 数量是时距的 subclass
(instance electricityExportInPeriod TernaryPredicate)	Economy.kif 2136-2136	电力出口期间是三元谓语的 instance

appearance as argument number 2

(format ChineseLanguage electricityExportInPeriod "%1 %p{是} %n{不是} 对于 %3 在周期 %2 的 electricity 输出")	domainEnglishFormat.kif 864-864
(format ChineseTraditionalLanguage electricityExportInPeriod "%1 %p{是} %n{不是} 對於 %3 在週期 %2 的 electricity 輸出")	domainEnglishFormat.kif 863-863
(format EnglishLanguage electricityExportInPeriod "%1 %p{is} %n{isn't} electricity export in period %2 for %3")	domainEnglishFormat.kif 862-862
(termFormat ChineseLanguage electricityExportInPeriod "电力出口期间")	domainEnglishFormat.kif 21594-21594
(termFormat ChineseTraditionalLanguage electricityExportInPeriod "電力出口期間")	domainEnglishFormat.kif 21593-21593
(termFormat EnglishLanguage electricityExportInPeriod "electricity export in period")	domainEnglishFormat.kif 21592-21592

antecedent

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

Economy.kif 2156-2165

如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，
然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力输出在那个时间位置 holdsDuring

consequent

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

Economy.kif 2167-2174

如果物理量是地缘政治区域的 annual 电力输出在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，
然后那个地缘政治区域是对于那个有点时距在周期那个物理量的 electricity 输出

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

KB Term:			Term intersection

English Word: