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 electricityConsumptionInPeriod の数値 1 引数は 地政学的地域instance では %n
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2099-2099 electricityConsumptionInPeriod の数値 2 引数は 物理量instance では %n
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval) Economy.kif 2100-2100 electricityConsumptionInPeriod の数値 3 引数は 時間間隔subclass では %n
(instance electricityConsumptionInPeriod TernaryPredicate) Economy.kif 2097-2097 electricityConsumptionInPeriod3進述語instance では %n

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 termFormat ChineseLanguage, electricityConsumptionInPeriod and "期间用电量"
(termFormat ChineseTraditionalLanguage electricityConsumptionInPeriod "期間用電量") domainEnglishFormat.kif 21516-21516 termFormat ChineseTraditionalLanguage, electricityConsumptionInPeriod and "期間用電量"
(termFormat EnglishLanguage electricityConsumptionInPeriod "electricity consumption in period") domainEnglishFormat.kif 21515-21515 termFormat EnglishLanguage, electricityConsumptionInPeriod and "electricity consumption in period"

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