(=>
(and
(electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualElectricityProduction ?AREA ?AMOUNT))))) |
Economy.kif 2220-2229 |
|
(=>
(and
(instance ?PLACE AutonomousAgent)
(subclass ?YEAR Year))
(instance
(FiscalYearStartingFn ?PLACE ?YEAR)
(FiscalYearFn ?PLACE))) |
Economy.kif 4075-4079 |
|
(=>
(and
(holdsDuring ?YEAR
(annualExportTotal ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2528-2535 |
|
(=>
(and
(importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualImportTotal ?AREA ?AMOUNT))))) |
Economy.kif 2920-2929 |
|
(=>
(and
(holdsDuring ?YEAR
(annualImportTotal ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2931-2938 |
|
(=>
(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 2396-2405 |
|
(=>
(and
(electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualElectricityConsumption ?AREA ?AMOUNT))))) |
Economy.kif 2352-2361 |
|
(=>
(and
(holdsDuring ?YEAR
(annualElectricityExport ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2407-2414 |
|
(=>
(and
(holdsDuring ?YEAR
(annualElectricityProduction ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2231-2238 |
|
(=>
(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 2442-2451 |
|
(=>
(and
(exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualExportTotal ?AREA ?AMOUNT))))) |
Economy.kif 2517-2526 |
|
(=>
(and
(holdsDuring ?YEAR
(annualElectricityConsumption ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2363-2370 |
|
(=>
(and
(holdsDuring ?YEAR
(annualElectricityImport ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2453-2460 |
|
(subclass Year TimeInterval) |
Merge.kif 8836-8836 |
Year is a subclass of time interval |
(subclass LeapYear Year) |
Merge.kif 9093-9093 |
Leap year is a subclass of year |