FiscalYearFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FiscalYearFn EnglishLanguage "(FiscalYearFn ?PLACE) denotes the subclass of TimeIntervals that are fiscalYearPeriods of the Organization or GeopoliticalArea ?PLACE.")	Economy.kif 3703-3705
(domain FiscalYearFn 1 Agent)	Economy.kif 3700-3700	domain FiscalYearFn, 1 and Agent
(instance FiscalYearFn UnaryFunction)	Economy.kif 3699-3699	instance FiscalYearFn and UnaryFunction
(rangeSubclass FiscalYearFn TimeInterval)	Economy.kif 3701-3701	rangeSubclass FiscalYearFn and TimeInterval

appearance as argument number 2

(format ChineseLanguage FiscalYearFn "%1 的 fiscal 年")	domainEnglishFormat.kif 1016-1016
(format ChineseTraditionalLanguage FiscalYearFn "%1 的 fiscal 年")	domainEnglishFormat.kif 1015-1015
(format EnglishLanguage FiscalYearFn "the fiscal year of %1")	domainEnglishFormat.kif 1014-1014
(termFormat ChineseLanguage FiscalYearFn "财政年度")	domainEnglishFormat.kif 23905-23905	termFormat ChineseLanguage, FiscalYearFn and "财政年度"
(termFormat ChineseTraditionalLanguage FiscalYearFn "財政年度")	domainEnglishFormat.kif 23904-23904	termFormat ChineseTraditionalLanguage, FiscalYearFn and "財政年度"
(termFormat EnglishLanguage FiscalYearFn "fiscal year")	domainEnglishFormat.kif 23903-23903	termFormat EnglishLanguage, FiscalYearFn and "fiscal year"

antecedent

(=> (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 2116-2125	electricityConsumptionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityConsumption GeopoliticalArea and PhysicalQuantity
(=> (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 2160-2169	electricityExportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityExport GeopoliticalArea and PhysicalQuantity
(=> (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 2206-2215	electricityImportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityImport GeopoliticalArea and PhysicalQuantity
(=> (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 1984-1993	electricityProductionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityProduction GeopoliticalArea and PhysicalQuantity
(=> (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 2281-2290	exportTotalInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualExportTotal GeopoliticalArea and CurrencyMeasure
(=> (and (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY (FiscalYearFn ?PLACE))) (instance ?FY ?PERIOD))	Economy.kif 3713-3717	fiscalYearPeriod Agent and TimeInterval instance Entity and FiscalYearFn Agent instance Entity and TimeInterval
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2127-2134	holdsDuring TimePosition and annualElectricityConsumption GeopoliticalArea and PhysicalQuantity instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea electricityConsumptionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval
(=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2171-2178	holdsDuring TimePosition and annualElectricityExport GeopoliticalArea and PhysicalQuantity instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea electricityExportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval
(=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2217-2224	holdsDuring TimePosition and annualElectricityImport GeopoliticalArea and PhysicalQuantity instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea electricityImportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval
(=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 1995-2002	holdsDuring TimePosition and annualElectricityProduction GeopoliticalArea and PhysicalQuantity instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea electricityProductionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval
(=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2292-2299	holdsDuring TimePosition and annualExportTotal GeopoliticalArea and CurrencyMeasure instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea exportTotalInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval
(=> (and (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2597-2604	holdsDuring TimePosition and annualImportTotal GeopoliticalArea and CurrencyMeasure instance TimePosition and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea importTotalInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval
(=> (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 2586-2595	importTotalInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualImportTotal GeopoliticalArea and CurrencyMeasure
(=> (equal ?FY (FiscalYearFn ?PLACE)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 3707-3711	equal TimeInterval and FiscalYearFn Agent instance Agent and GeopoliticalArea instance Agent and Organization
(=> (instance ?FY (FiscalYearFn ?PLACE)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 3719-3721	instance TimeInterval and FiscalYearFn Agent duration TimeInterval and MeasureFn 1 and YearDuration

consequent

(=>
    (and
        (instance ?PLACE Agent)
        (instance ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))

Economy.kif 3739-3743

instance Agent and Agent instance Year and Year
instance FiscalYearStartingFn Agent and Year and FiscalYearFn Agent

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: