Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - electricityExportInPeriod
electricityExportInPeriod

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


(instance electricityExportInPeriod TernaryPredicate) Economy.kif 2371-2371 electricity export in period is an instance of ternary predicate
(domain electricityExportInPeriod 1 GeopoliticalArea) Economy.kif 2372-2372 The number 1 argument of electricity export in period is an instance of geopolitical area
(domain electricityExportInPeriod 2 PhysicalQuantity) Economy.kif 2373-2373 The number 2 argument of electricity export in period is an instance of physical quantity
(domainSubclass electricityExportInPeriod 3 TimeInterval) Economy.kif 2374-2374 The number 3 argument of electricity export in period is a subclass of timeframe
(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 2376-2380 The number 3 argument of electricity export in period is a subclass of timeframe

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


(format EnglishLanguage electricityExportInPeriod "%1 %p{is} %n{isn't} electricity export in period %2 for %3") domainEnglishFormat.kif 862-862
(format ChineseTraditionalLanguage electricityExportInPeriod "%1 %p{是} %n{不是} 對於 %3 在週期 %2 的 electricity 輸出") domainEnglishFormat.kif 863-863
(format ChineseLanguage electricityExportInPeriod "%1 %p{是} %n{不是} 对于 %3 在周期 %2 的 electricity 输出") domainEnglishFormat.kif 864-864
(termFormat EnglishLanguage electricityExportInPeriod "electricity export in period") domainEnglishFormat.kif 21594-21594
(termFormat ChineseTraditionalLanguage electricityExportInPeriod "電力出口期間") domainEnglishFormat.kif 21595-21595
(termFormat ChineseLanguage electricityExportInPeriod "电力出口期间") domainEnglishFormat.kif 21596-21596

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 2391-2400 If X is electricity export in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity export of X holds during W

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


(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2402-2409 If X is an annual electricity export of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity export in period X for W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners