annualElectricityExport |
appearance as argument number 1 |
(documentation annualElectricityExport EnglishLanguage "(annualElectricityExport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) annually.") | Economy.kif 2151-2154 | |
(domain annualElectricityExport 1 GeopoliticalArea) | Economy.kif 2148-2148 | |
(domain annualElectricityExport 2 PhysicalQuantity) | Economy.kif 2149-2149 | |
(instance annualElectricityExport BinaryPredicate) | Economy.kif 2147-2147 |
appearance as argument number 2 |
(format ChineseLanguage annualElectricityExport "%2 %n 是 %1 的 annual 电力输出") | domainEnglishFormat.kif 156-156 | |
(format ChineseTraditionalLanguage annualElectricityExport "%2 %n 是 %1 的 annual 電力輸出") | domainEnglishFormat.kif 155-155 | |
(format EnglishLanguage annualElectricityExport "%2 is %n an annual electricity export of %1") | domainEnglishFormat.kif 154-154 | |
(termFormat ChineseLanguage annualElectricityExport "年度电力出口") | domainEnglishFormat.kif 7662-7662 | |
(termFormat ChineseTraditionalLanguage annualElectricityExport "年度電力出口") | domainEnglishFormat.kif 7661-7661 | |
(termFormat EnglishLanguage annualElectricityExport "annual electricity export") | domainEnglishFormat.kif 7660-7660 |
antecedent |
(=> (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 |
consequent |
(=> (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 |