TreeView Knowledge Base Browser - annualElectricityImport

appearance as argument number 1

(documentation annualElectricityImport EnglishLanguage "(annualElectricityImport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity (measured in KilowattHours) annually.")	Economy.kif 2197-2200
(domain annualElectricityImport 1 GeopoliticalArea)	Economy.kif 2194-2194	O argumento numero 1 de annualElectricityImport e' uma instancia de Area Geopolitica
(domain annualElectricityImport 2 PhysicalQuantity)	Economy.kif 2195-2195	O argumento numero 2 de annualElectricityImport e' uma instancia de Quantidade Fisica
(instance annualElectricityImport BinaryPredicate)	Economy.kif 2193-2193	annualElectricityImport e' uma instancia de Predicado Binario

appearance as argument number 2

(format ChineseLanguage annualElectricityImport "%2 %n 是 %1 annual 的电力输入")	domainEnglishFormat.kif 160-160
(format ChineseTraditionalLanguage annualElectricityImport "%2 %n 是 %1 annual 的電力輸入")	domainEnglishFormat.kif 159-159
(format EnglishLanguage annualElectricityImport "%2 is %n an annual electricity import of %1")	domainEnglishFormat.kif 158-158
(termFormat ChineseLanguage annualElectricityImport "年度电力进口")	domainEnglishFormat.kif 7668-7668
(termFormat ChineseTraditionalLanguage annualElectricityImport "年度電力進口")	domainEnglishFormat.kif 7667-7667
(termFormat EnglishLanguage annualElectricityImport "annual electricity import")	domainEnglishFormat.kif 7666-7666

antecedent

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

Economy.kif 2213-2220

annualElectricityImport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica
electricityImportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal

consequent

(=>
    (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 2202-2211

electricityImportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica
Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualElectricityImport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal

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

KB Term:			Term intersection

English Word: