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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - electricityConsumptionInPeriod
electricityConsumptionInPeriod

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


(documentation electricityConsumptionInPeriod EnglishLanguage "(electricityConsumptionInPeriod ?AREA ?AMOUNT ?YEAR) means that the GeopoliticalArea ?AREA used ?AMOUNT of electricity (measured in KilowattHours) during the TimeInterval indicated by ?YEAR.") Economy.kif 2102-2105
(domain electricityConsumptionInPeriod 1 GeopoliticalArea) Economy.kif 2098-2098
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2099-2099
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval) Economy.kif 2100-2100
(instance electricityConsumptionInPeriod TernaryPredicate) Economy.kif 2097-2097

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


(format EnglishLanguage electricityConsumptionInPeriod "%1 %n{doesn't} electricity consumption in period %2 for %3") domainEnglishFormat.kif 224-224
(termFormat EnglishLanguage electricityConsumptionInPeriod "electricity consumption in period") domainEnglishFormat.kif 4019-4019

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


(=>
    (and
        (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityConsumption ?AREA ?AMOUNT)))))
Economy.kif 2116-2125

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


(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2127-2134


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners