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, 1 and GeopoliticalArea
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2099-2099 domain electricityConsumptionInPeriod, 2 and PhysicalQuantity
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval) Economy.kif 2100-2100 domainSubclass electricityConsumptionInPeriod, 3 and TimeInterval
(instance electricityConsumptionInPeriod TernaryPredicate) Economy.kif 2097-2097 instance electricityConsumptionInPeriod and TernaryPredicate

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 21511-21511
(termFormat ChineseTraditionalLanguage electricityConsumptionInPeriod "期間用電量") domainEnglishFormat.kif 21510-21510
(termFormat EnglishLanguage electricityConsumptionInPeriod "electricity consumption in period") domainEnglishFormat.kif 21509-21509

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