Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FiscalYearFn
FiscalYearFn

appearance as argument number 1
-------------------------


(instance FiscalYearFn UnaryFunction) Economy.kif 4028-4028 Fiscal year is an instance of unary function
(domain FiscalYearFn 1 AutonomousAgent) Economy.kif 4029-4029 The number 1 argument of fiscal year is an instance of agent
(rangeSubclass FiscalYearFn TimeInterval) Economy.kif 4030-4030 The values returned by fiscal year are subclasses of timeframe
(documentation FiscalYearFn EnglishLanguage "(FiscalYearFn ?PLACE) denotes the subclass of TimeIntervals that are fiscalYearPeriods of the Organization or GeopoliticalArea ?PLACE.") Economy.kif 4032-4034 The values returned by fiscal year are subclasses of timeframe

appearance as argument number 2
-------------------------


(format EnglishLanguage FiscalYearFn "the fiscal year of %1") domainEnglishFormat.kif 1014-1014
(format ChineseTraditionalLanguage FiscalYearFn "%1 的 fiscal 年") domainEnglishFormat.kif 1015-1015
(format ChineseLanguage FiscalYearFn "%1 的 fiscal 年") domainEnglishFormat.kif 1016-1016
(termFormat EnglishLanguage FiscalYearFn "fiscal year") domainEnglishFormat.kif 23968-23968
(termFormat ChineseTraditionalLanguage FiscalYearFn "財政年度") domainEnglishFormat.kif 23969-23969
(termFormat ChineseLanguage FiscalYearFn "财政年度") domainEnglishFormat.kif 23970-23970

antecedent
-------------------------


(=>
    (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 2215-2224 If X is electricity production in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity production of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2226-2233 If X is an annual electricity production of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity production in period X for W
(=>
    (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 2347-2356 If X is electricity consumption in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity consumption of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2358-2365 If X is an annual electricity consumption of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity consumption in period X for W
(=>
    (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 2391-2400 If X is electricity export in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity export of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2402-2409 If X is an annual electricity export of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity export in period X for W
(=>
    (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 2437-2446 If X is electricity import in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity import of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2448-2455 If X is an annual electricity import of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity import in period X for W
(=>
    (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 2512-2521 If X export total in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual export total of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2523-2530 If X is an annual export total of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y export total in period X for W
(=>
    (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 2915-2924 If X import total in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual import total of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualImportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2926-2933 If X is an annual import total of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y import total in period X for W
(=>
    (equal ?FY
        (FiscalYearFn ?PLACE))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 4036-4040 If equal X and the fiscal year of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (and
        (fiscalYearPeriod ?PLACE ?PERIOD)
        (instance ?FY
            (FiscalYearFn ?PLACE)))
    (instance ?FY ?PERIOD))		 Economy.kif 4042-4046 If X is a fiscal year period of Y and Z is an instance of the fiscal year of Y, then Z is an instance of X
(=>
    (instance ?FY
        (FiscalYearFn ?PLACE))
    (duration ?FY
        (MeasureFn 1 YearDuration)))		 Economy.kif 4048-4050 If X is an instance of the fiscal year of Y, then duration of X is 1 year duration(s)

consequent
-------------------------


(=>
    (and
        (instance ?PLACE AutonomousAgent)
        (subclass ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))		 Economy.kif 4070-4074 If X is an instance of agent and Y is a subclass of year, then the fiscal year starting of X and Y is an instance of the fiscal year of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners