annualElectricityExport - Sigma Knowledge base Browser

appearance as argument number 2

(format ChineseLanguage annualElectricityExport "%2 %n 是 %1 的 annual 电力输出")	domainEnglishFormat.kif 156-156
(format ChineseTraditionalLanguage annualElectricityExport "%2 %n 是 %1 的 annual 電力輸出")	domainEnglishFormat.kif 155-155
(format EnglishLanguage annualElectricityExport "%2 is %n an annual electricity export of %1")	domainEnglishFormat.kif 154-154
(termFormat ChineseLanguage annualElectricityExport "年度电力出口")	domainEnglishFormat.kif 7669-7669
(termFormat ChineseTraditionalLanguage annualElectricityExport "年度電力出口")	domainEnglishFormat.kif 7668-7668
(termFormat EnglishLanguage annualElectricityExport "annual electricity export")	domainEnglishFormat.kif 7667-7667

antecedent

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

Economy.kif 2282-2289

If a physical quantity is an annual electricity export of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area,
then the geopolitical area is electricity export in period the physical quantity for the kind of time interval

consequent

(=>
    (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 2271-2280

If a geopolitical area is electricity export in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area,
then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity export of the geopolitical area holds during the time position

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 is open source software produced by Articulate Software and its partners

(documentation annualElectricityExport EnglishLanguage "(annualElectricityExport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) annually.")	Economy.kif 2266-2269
(domain annualElectricityExport 1 GeopoliticalArea)	Economy.kif 2263-2263	The number 1 argument of annual electricity export is an instance of geopolitical area
(domain annualElectricityExport 2 PhysicalQuantity)	Economy.kif 2264-2264	The number 2 argument of annual electricity export is an instance of physical quantity
(instance annualElectricityExport BinaryPredicate)	Economy.kif 2262-2262	annual electricity export is an instance of binary predicate

KB Term:			Term intersection

English Word: