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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - annualElectricityImport
annualElectricityImport

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


(documentation annualElectricityImport EnglishLanguage "(annualElectricityImport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity (measured in KilowattHours) annually.") Economy.kif 2201-2204
(domain annualElectricityImport 1 GeopoliticalArea) Economy.kif 2198-2198 The number 1 argument of annual electricity import is an instance of geopolitical area
(domain annualElectricityImport 2 PhysicalQuantity) Economy.kif 2199-2199 The number 2 argument of annual electricity import is an instance of physical quantity
(instance annualElectricityImport BinaryPredicate) Economy.kif 2197-2197 annual electricity import is an instance of binary predicate

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


(format EnglishLanguage annualElectricityImport "%2 is %n an annual electricity import of %1") domainEnglishFormat.kif 49-49
(termFormat EnglishLanguage annualElectricityImport "annual electricity import") domainEnglishFormat.kif 1712-1712 "annual electricity import" is the printable form of annual electricity import in english language

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


(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2217-2224

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


(=>
    (and
        (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityImport ?AREA ?AMOUNT)))))
Economy.kif 2206-2215


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