TreeView Knowledge Base Browser - FiscalYearStartingFn

appearance as argument number 2

(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

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