electricityImportInPeriod |
appearance as argument number 1 |
(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 2186-2190 | |
(domain electricityImportInPeriod 1 GeopoliticalArea) | Economy.kif 2182-2182 | Die Zahl 1 Argument von electricityImportInPeriod ist ein fall von GeopoliticalArea %n{nicht} |
(domain electricityImportInPeriod 2 PhysicalQuantity) | Economy.kif 2183-2183 | Die Zahl 2 Argument von electricityImportInPeriod ist ein fall von PhysicalQuantity %n{nicht} |
(domainSubclass electricityImportInPeriod 3 TimeInterval) | Economy.kif 2184-2184 | Die Zahl 3 Argument von electricityImportInPeriod ist eine teilkategorie von TimeInterval %n{nicht} |
(instance electricityImportInPeriod TernaryPredicate) | Economy.kif 2181-2181 | electricityImportInPeriod ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage electricityImportInPeriod "%1 %p{是} %n{不是} 对于 %3 在周期 %2 的 electricity 输出") | domainEnglishFormat.kif 879-879 | |
(format ChineseTraditionalLanguage electricityImportInPeriod "%1 %p{是} %n{不是} 對於 %3 在週期 %2 的 electricity 輸出") | domainEnglishFormat.kif 878-878 | |
(format EnglishLanguage electricityImportInPeriod "%1 %p{is} %n{isn't} electricity import in period %2 for %3") | domainEnglishFormat.kif 877-877 | |
(termFormat ChineseLanguage electricityImportInPeriod "电力进口期间") | domainEnglishFormat.kif 21612-21612 | |
(termFormat ChineseTraditionalLanguage electricityImportInPeriod "電力進口期間") | domainEnglishFormat.kif 21611-21611 | |
(termFormat EnglishLanguage electricityImportInPeriod "electricity import in period") | domainEnglishFormat.kif 21610-21610 |
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 2202-2211 |
|
consequent |
(=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2213-2220 |
|