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 2098-2101
(domain electricityConsumptionInPeriod 1 GeopoliticalArea) Economy.kif 2094-2094 期间用电量 的 1 数量 是 地缘政治区域instance
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2095-2095 期间用电量 的 2 数量 是 物理量instance
(domainSubclass electricityConsumptionInPeriod 3 TimeInterval) Economy.kif 2096-2096 期间用电量 的 3 数量 是 时距subclass
(instance electricityConsumptionInPeriod TernaryPredicate) Economy.kif 2093-2093 期间用电量三元谓语instance

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

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 2112-2121

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


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


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