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 2109-2112
(domain electricityConsumptionInPeriod 1 GeopoliticalArea) Economy.kif 2105-2105 The number 1 argument of electricity consumption in period is an instance of geopolitical area
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2106-2106 The number 2 argument of electricity consumption in period is an instance of physical quantity
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval) Economy.kif 2107-2107 The number 3 argument of electricity consumption in period is a subclass of time interval
(instance electricityConsumptionInPeriod TernaryPredicate) Economy.kif 2104-2104 electricity consumption in period is an instance of ternary predicate

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


(format ChineseLanguage electricityConsumptionInPeriod "%1 %p{是} %n{不是} 对于 %3 在其间 %2 的 electricity 消耗") domainEnglishFormat.kif 860-860
(format ChineseTraditionalLanguage electricityConsumptionInPeriod "%1 %p{是} %n{不是} 對於 %3 在其間 %2 的 electricity 消耗") domainEnglishFormat.kif 859-859
(format EnglishLanguage electricityConsumptionInPeriod "%1 %p{is} %n{isn't} electricity consumption in period %2 for %3") domainEnglishFormat.kif 858-858
(termFormat ChineseLanguage electricityConsumptionInPeriod "期间用电量") domainEnglishFormat.kif 21579-21579
(termFormat ChineseTraditionalLanguage electricityConsumptionInPeriod "期間用電量") domainEnglishFormat.kif 21578-21578
(termFormat EnglishLanguage electricityConsumptionInPeriod "electricity consumption in period") domainEnglishFormat.kif 21577-21577

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 2123-2132

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


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


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