Sigma KB Term Intersection

(=> (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 1980-1989	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 生產子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力生產
(=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 1991-1998	持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力生產例 TimePosition and TimeInterval 子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 生產