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


KB Term:  Term intersection
English Word: 

Sigma KEE - electricityImportInPeriod
electricityImportInPeriod

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


(instance electricityImportInPeriod TernaryPredicate) Economy.kif 2416-2416 electricity import in period is an instance of ternary predicate
(domain electricityImportInPeriod 1 GeopoliticalArea) Economy.kif 2417-2417 The number 1 argument of electricity import in period is an instance of geopolitical area
(domain electricityImportInPeriod 2 PhysicalQuantity) Economy.kif 2418-2418 The number 2 argument of electricity import in period is an instance of physical quantity
(domainSubclass electricityImportInPeriod 3 TimeInterval) Economy.kif 2419-2419 The number 3 argument of electricity import in period is a subclass of timeframe
(documentation electricityImportInPeriod EnglishLanguage "(electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD) means that the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity (measured in KilowattHours) during the TimeInterval indicated by ?PERIOD.") Economy.kif 2421-2425 The number 3 argument of electricity import in period is a subclass of timeframe

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


(format EnglishLanguage electricityImportInPeriod "%1 %p{is} %n{isn't} electricity import in period %2 for %3") domainEnglishFormat.kif 877-877
(format ChineseTraditionalLanguage electricityImportInPeriod "%1 %p{是} %n{不是} 對於 %3 在週期 %2 的 electricity 輸出") domainEnglishFormat.kif 878-878
(format ChineseLanguage electricityImportInPeriod "%1 %p{是} %n{不是} 对于 %3 在周期 %2 的 electricity 输出") domainEnglishFormat.kif 879-879
(termFormat EnglishLanguage electricityImportInPeriod "electricity import in period") domainEnglishFormat.kif 21612-21612
(termFormat ChineseTraditionalLanguage electricityImportInPeriod "電力進口期間") domainEnglishFormat.kif 21613-21613
(termFormat ChineseLanguage electricityImportInPeriod "电力进口期间") domainEnglishFormat.kif 21614-21614

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


(=>
    (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 2437-2446 If X is electricity import 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 import of X holds during W

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


(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2448-2455 If X is an annual electricity import 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 import 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