annualElectricityImport |
appearance as argument number 1 |
![]() |
(documentation annualElectricityImport EnglishLanguage "(annualElectricityImport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity (measured in KilowattHours) annually.") | Economy.kif 2312-2315 | |
(domain annualElectricityImport 1 GeopoliticalArea) | Economy.kif 2309-2309 | The number 1 argument of annual electricity import is an instance of geopolitical area |
(domain annualElectricityImport 2 PhysicalQuantity) | Economy.kif 2310-2310 | The number 2 argument of annual electricity import is an instance of physical quantity |
(instance annualElectricityImport BinaryPredicate) | Economy.kif 2308-2308 | annual electricity import is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage annualElectricityImport "%2 %n 是 %1 annual 的电力输入") | domainEnglishFormat.kif 160-160 | |
(format ChineseTraditionalLanguage annualElectricityImport "%2 %n 是 %1 annual 的電力輸入") | domainEnglishFormat.kif 159-159 | |
(format EnglishLanguage annualElectricityImport "%2 is %n an annual electricity import of %1") | domainEnglishFormat.kif 158-158 | |
(termFormat ChineseLanguage annualElectricityImport "年度电力进口") | domainEnglishFormat.kif 7675-7675 | |
(termFormat ChineseTraditionalLanguage annualElectricityImport "年度電力進口") | domainEnglishFormat.kif 7674-7674 | |
(termFormat EnglishLanguage annualElectricityImport "annual electricity import") | domainEnglishFormat.kif 7673-7673 |
antecedent |
![]() |
(=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2328-2335 |
|
consequent |
![]() |
(=> (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 2317-2326 |
|
![]() |
![]() |