Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - annualElectricityProduction
annualElectricityProduction

appearance as argument number 1
-------------------------


(documentation annualElectricityProduction EnglishLanguage "(annualElectricityProduction ?AREA ?AMOUNT) means that the amount of electricity generated annually in the GeographicalArea ?AREA is ?AMOUNT, measured in KilowattHours.") Economy.kif 1975-1978
(domain annualElectricityProduction 1 GeopoliticalArea) Economy.kif 1972-1972 年发电量 的 1 数量 是 地缘政治区域instance
(domain annualElectricityProduction 2 PhysicalQuantity) Economy.kif 1973-1973 年发电量 的 2 数量 是 物理量instance
(instance annualElectricityProduction BinaryPredicate) Economy.kif 1971-1971 年发电量二元谓语instance

appearance as argument number 2
-------------------------


(format ChineseLanguage annualElectricityProduction "%2 %n 是 %1 的 annual 电力生产") domainEnglishFormat.kif 164-164
(format ChineseTraditionalLanguage annualElectricityProduction "%2 %n 是 %1 的 annual 電力生產") domainEnglishFormat.kif 163-163
(format EnglishLanguage annualElectricityProduction "%2 is %n an annual electricity production of %1") domainEnglishFormat.kif 162-162
(termFormat ChineseLanguage annualElectricityProduction "年发电量") domainEnglishFormat.kif 7674-7674
(termFormat ChineseTraditionalLanguage annualElectricityProduction "年發電量") domainEnglishFormat.kif 7673-7673
(termFormat EnglishLanguage annualElectricityProduction "annual electricity production") domainEnglishFormat.kif 7672-7672

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 1991-1998

consequent
-------------------------


(=>
    (and
        (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityProduction ?AREA ?AMOUNT)))))
Economy.kif 1980-1989


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