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 2141-2145
(domain electricityExportInPeriod 1 GeopoliticalArea) Economy.kif 2137-2137 電力出口期間, 1 and GeopoliticalArea
(domain electricityExportInPeriod 2 PhysicalQuantity) Economy.kif 2138-2138 電力出口期間, 2 and PhysicalQuantity
(domainSubclass electricityExportInPeriod 3 TimeInterval) Economy.kif 2139-2139 域子類 電力出口期間, 3 and TimeInterval
(instance electricityExportInPeriod TernaryPredicate) Economy.kif 2136-2136 電力出口期間 and TernaryPredicate

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 21594-21594
(termFormat ChineseTraditionalLanguage electricityExportInPeriod "電力出口期間") domainEnglishFormat.kif 21593-21593
(termFormat EnglishLanguage electricityExportInPeriod "electricity export in period") domainEnglishFormat.kif 21592-21592

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 2156-2165

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


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


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 3.0 is open source software produced by Articulate Software and its partners