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 7670-7670
(termFormat ChineseTraditionalLanguage annualElectricityExport "年度電力出口")	domainEnglishFormat.kif 7669-7669
(termFormat EnglishLanguage annualElectricityExport "annual electricity export")	domainEnglishFormat.kif 7668-7668

antecedent

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

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 2156-2165

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 2151-2154
(domain annualElectricityExport 1 GeopoliticalArea)	Economy.kif 2148-2148	The number 1 argument of annual electricity export is an instance of geopolitical area
(domain annualElectricityExport 2 PhysicalQuantity)	Economy.kif 2149-2149	The number 2 argument of annual electricity export is an instance of physical quantity
(instance annualElectricityExport BinaryPredicate)	Economy.kif 2147-2147	annual electricity export is an instance of binary predicate

KB Term:			Term intersection

English Word: