annualElectricityImport - Sigma Knowledge base Browser

appearance as argument number 1

(instance annualElectricityImport BinaryPredicate)	Economy.kif 2428-2428	annual electricity import is an instance of binary predicate
(domain annualElectricityImport 1 GeopoliticalArea)	Economy.kif 2429-2429	The number 1 argument of annual electricity import is an instance of geopolitical area
(domain annualElectricityImport 2 PhysicalQuantity)	Economy.kif 2430-2430	The number 2 argument of annual electricity import is an instance of physical quantity
(documentation annualElectricityImport EnglishLanguage "(annualElectricityImport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity (measured in KilowattHours) annually.")	Economy.kif 2432-2435	The number 2 argument of annual electricity import is an instance of physical quantity

appearance as argument number 2

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

antecedent

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

Economy.kif 2448-2455

If X is an annual electricity import of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity import in period X for W

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 2437-2446

If X is electricity import in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity import of X holds during W

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners