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 3843-3845
(domain FiscalYearStartingFn 1 AutonomousAgent)	Economy.kif 3838-3838	财政年度开始的 1 数量是施事体的 instance
(domainSubclass FiscalYearStartingFn 2 Year)	Economy.kif 3839-3839	财政年度开始的 2 数量是年的 subclass
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3836-3836	财政年度开始是二元函数的 instance
(range FiscalYearStartingFn TimeInterval)	Economy.kif 3841-3841	财政年度开始的 range 是时距的实例

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 24001-24001
(termFormat ChineseTraditionalLanguage FiscalYearStartingFn "財政年度開始")	domainEnglishFormat.kif 24000-24000
(termFormat EnglishLanguage FiscalYearStartingFn "fiscal year starting")	domainEnglishFormat.kif 23999-23999

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 3869-3879	如果时距 equal 施事体和有点年的 fiscal 开始年分和另一个有点时距是那个施事体的 fiscal 年周期和那个时距是另一个有点时距的 instance，然后有存在第三时距和时间位置这样那个第三时距是日的 instance 和那个第三时距 starts了才到那个时距和那个时间位置是有点年的 instance 和那个第三时距时段是那个时间位置时段的一 part
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD)) (instance ?FY ?PERIOD))	Economy.kif 3863-3867	如果时距 equal 施事体和有点年的 fiscal 开始年分和另一个有点时距是那个施事体的 fiscal 年周期，然后那个时距是另一个有点时距的 instance
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 3859-3861	如果时距 equal 施事体和有点年的 fiscal 开始年分，然后那个时距的 duration 是 1 年持续时间
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 3847-3851	如果时距 equal 施事体和有点年的 fiscal 开始年分，然后那个施事体是地缘政治区域的 instance 或那个施事体是机构的 instance

consequent

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

Economy.kif 3853-3857

如果施事体是施事体的 instance 和有点年是年的 subclass，
然后那个施事体和有点年的 fiscal 开始年分是那个施事体的 fiscal 年的 instance

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

KB Term:			Term intersection

English Word: