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

Formal Language: 



KB Term:  Term intersection
English Word: 

  electricityExportInPeriod

Sigma KEE - electricityExportInPeriod
electricityExportInPeriod

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


(documentation electricityExportInPeriod EnglishLanguage "(electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) during the TimeInterval indicated by ?PERIOD.") Economy.kif 2145-2149
(domain electricityExportInPeriod 1 GeopoliticalArea) Economy.kif 2141-2141 electricityExportInPeriod 的 1 数量 是 地缘政治区域instance
(domain electricityExportInPeriod 2 PhysicalQuantity) Economy.kif 2142-2142 electricityExportInPeriod 的 2 数量 是 物理量instance
(domainSubclass electricityExportInPeriod 3 TimeInterval) Economy.kif 2143-2143 electricityExportInPeriod 的 3 数量 是 时距subclass
(instance electricityExportInPeriod TernaryPredicate) Economy.kif 2140-2140 electricityExportInPeriod三元谓语instance

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


(format EnglishLanguage electricityExportInPeriod "%1 %n{doesn't} electricity export in period %2 for %3") domainEnglishFormat.kif 225-225
(termFormat EnglishLanguage electricityExportInPeriod "electricity export in period") domainEnglishFormat.kif 4020-4020 termFormat EnglishLanguage, electricityExportInPeriod and "electricity export in period"

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


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

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


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


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