TreeView Knowledge Base Browser - FiscalYearStartingFn

appearance as argument number 1

(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 3728-3730
(domain FiscalYearStartingFn 1 AutonomousAgent)	Economy.kif 3723-3723
(domainSubclass FiscalYearStartingFn 2 Year)	Economy.kif 3724-3724
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3721-3721
(range FiscalYearStartingFn TimeInterval)	Economy.kif 3726-3726

appearance as argument number 2

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

antecedent

(=> (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 3754-3764
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD)) (instance ?FY ?PERIOD))	Economy.kif 3748-3752
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 3744-3746
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 3732-3736

consequent

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

Economy.kif 3738-3742