Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  annualElectricityConsumption

Sigma KEE - annualElectricityConsumption
annualElectricityConsumption

appearance as argument number 1
-------------------------


(documentation annualElectricityConsumption EnglishLanguage "(annualElectricityConsumption ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA uses ?AMOUNT of electricity (measured in KilowattHours) annually.") Economy.kif 2111-2114
(domain annualElectricityConsumption 1 GeopoliticalArea) Economy.kif 2108-2108 annualElectricityConsumption 的 1 数量 是 地缘政治区域instance
(domain annualElectricityConsumption 2 PhysicalQuantity) Economy.kif 2109-2109 annualElectricityConsumption 的 2 数量 是 物理量instance
(instance annualElectricityConsumption BinaryPredicate) Economy.kif 2107-2107 annualElectricityConsumption二元谓语instance

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


(format EnglishLanguage annualElectricityConsumption "%2 is %n an annual electricity consumption of %1") domainEnglishFormat.kif 47-47
(termFormat EnglishLanguage annualElectricityConsumption "annual electricity consumption") domainEnglishFormat.kif 1710-1710 termFormat EnglishLanguage, annualElectricityConsumption and "annual electricity consumption"

antecedent
-------------------------


(=>
    (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

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


(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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