FiscalYearStartingFn - Sigma Knowledge base Browser

antecedent

(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 4064-4068	If equal X, the fiscal year starting of Y, and Z, then Y is an instance of geopolitical area or Y is an instance of organization
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 4076-4078	If equal X, the fiscal year starting of Y, and Z, then duration of X is 1 year duration(s)
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD)) (instance ?FY ?PERIOD))	Economy.kif 4080-4084	If equal X, the fiscal year starting of Y, and Z and W is a fiscal year period of Y, then X is an instance of W
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY ?PERIOD)) (exists (?DAY ?INST) (and (instance ?DAY Day) (starts ?DAY ?FY) (instance ?INST ?YEAR) (temporalPart ?DAY ?INST))))	Economy.kif 4086-4096	If equal X, the fiscal year starting of Y, and Z, W is a fiscal year period of Y, and X is an instance of W, then there exist V, U such that V is an instance of day, V starts X, U is an instance of Z, and V is a part of U

consequent

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

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

(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 4053-4053	Fiscal year starting is an instance of binary function
(domain FiscalYearStartingFn 1 AutonomousAgent)	Economy.kif 4055-4055	The number 1 argument of fiscal year starting is an instance of agent
(domainSubclass FiscalYearStartingFn 2 Year)	Economy.kif 4056-4056	The number 2 argument of fiscal year starting is a subclass of year
(range FiscalYearStartingFn TimeInterval)	Economy.kif 4058-4058	The range of fiscal year starting is an instance of timeframe
(documentation FiscalYearStartingFn EnglishLanguage "(FiscalYearStartingFn ?PLACE ?YEAR) denotes the particular fiscal year that is observed in ?PLACE and begins during the calendar Year indicated by ?YEAR.")	Economy.kif 4060-4062	The range of fiscal year starting is an instance of timeframe

(format EnglishLanguage FiscalYearStartingFn "the fiscal year starting of %1 and %2")	domainEnglishFormat.kif 1023-1023
(format ChineseTraditionalLanguage FiscalYearStartingFn "%1 和 %2 的 fiscal 開始年分")	domainEnglishFormat.kif 1024-1024
(format ChineseLanguage FiscalYearStartingFn "%1 和 %2 的 fiscal 开始年分")	domainEnglishFormat.kif 1025-1025
(termFormat EnglishLanguage FiscalYearStartingFn "fiscal year starting")	domainEnglishFormat.kif 23980-23980
(termFormat ChineseTraditionalLanguage FiscalYearStartingFn "財政年度開始")	domainEnglishFormat.kif 23981-23981
(termFormat ChineseLanguage FiscalYearStartingFn "财政年度开始")	domainEnglishFormat.kif 23982-23982