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 The number 1 argument of electricity consumption in period is an instance of geopolitical area
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2099-2099 The number 2 argument of electricity consumption in period is an instance of physical quantity
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval) Economy.kif 2100-2100 The number 3 argument of electricity consumption in period is a subclass of time interval
(instance electricityConsumptionInPeriod TernaryPredicate) Economy.kif 2097-2097 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 21517-21517 "期间用电量" is the printable form of electricity consumption in period in ChineseLanguage
(termFormat ChineseTraditionalLanguage electricityConsumptionInPeriod "期間用電量") domainEnglishFormat.kif 21516-21516 "期間用電量" is the printable form of electricity consumption in period in ChineseTraditionalLanguage
(termFormat EnglishLanguage electricityConsumptionInPeriod "electricity consumption in period") domainEnglishFormat.kif 21515-21515 "electricity consumption in period" is the printable form of electricity consumption in period in english language

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