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

Formal Language: 



KB Term:  Term intersection
English Word: 

  annualElectricityExport

Sigma KEE - annualElectricityExport
annualElectricityExport

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


(documentation annualElectricityExport EnglishLanguage "(annualElectricityExport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) annually.") Economy.kif 2155-2158
(domain annualElectricityExport 1 GeopoliticalArea) Economy.kif 2152-2152 annualElectricityExport 的 1 数量 是 地缘政治区域instance
(domain annualElectricityExport 2 PhysicalQuantity) Economy.kif 2153-2153 annualElectricityExport 的 2 数量 是 物理量instance
(instance annualElectricityExport BinaryPredicate) Economy.kif 2151-2151 annualElectricityExport二元谓语instance

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


(format EnglishLanguage annualElectricityExport "%2 is %n an annual electricity export of %1") domainEnglishFormat.kif 48-48
(termFormat EnglishLanguage annualElectricityExport "annual electricity export") domainEnglishFormat.kif 1711-1711 termFormat EnglishLanguage, annualElectricityExport and "annual electricity export"

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


(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2171-2178

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


(=>
    (and
        (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityExport ?AREA ?AMOUNT)))))
Economy.kif 2160-2169


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