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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 では %n
(domain electricityExportInPeriod 2 PhysicalQuantity) Economy.kif 2142-2142 electricityExportInPeriod の数値 2 引数は 物理量instance では %n
(domainSubclass electricityExportInPeriod 3 TimeInterval) Economy.kif 2143-2143 electricityExportInPeriod の数値 3 引数は 時間間隔subclass では %n
(instance electricityExportInPeriod TernaryPredicate) Economy.kif 2140-2140 electricityExportInPeriod3進述語instance では %n

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


(format ChineseLanguage electricityExportInPeriod "%1 %p{是} %n{不是} 对于 %3 在周期 %2 的 electricity 输出") domainEnglishFormat.kif 864-864
(format ChineseTraditionalLanguage electricityExportInPeriod "%1 %p{是} %n{不是} 對於 %3 在週期 %2 的 electricity 輸出") domainEnglishFormat.kif 863-863
(format EnglishLanguage electricityExportInPeriod "%1 %p{is} %n{isn't} electricity export in period %2 for %3") domainEnglishFormat.kif 862-862
(termFormat ChineseLanguage electricityExportInPeriod "电力出口期间") domainEnglishFormat.kif 21523-21523 termFormat ChineseLanguage, electricityExportInPeriod and "电力出口期间"
(termFormat ChineseTraditionalLanguage electricityExportInPeriod "電力出口期間") domainEnglishFormat.kif 21522-21522 termFormat ChineseTraditionalLanguage, electricityExportInPeriod and "電力出口期間"
(termFormat EnglishLanguage electricityExportInPeriod "electricity export in period") domainEnglishFormat.kif 21521-21521 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 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