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 3736-3738 | |
(domain FiscalYearStartingFn 1 Agent) | Economy.kif 3732-3732 | 财政年度开始 的 1 数量 是 施事体 的 instance |
(domainSubclass FiscalYearStartingFn 2 Year) | Economy.kif 3733-3733 | 财政年度开始 的 2 数量 是 年 的 subclass |
(instance FiscalYearStartingFn BinaryFunction) | Economy.kif 3731-3731 | 财政年度开始 是 二元函数 的 instance |
(range FiscalYearStartingFn TimeInterval) | Economy.kif 3734-3734 | 财政年度开始 的 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 23979-23979 | |
(termFormat ChineseTraditionalLanguage FiscalYearStartingFn "財政年度開始") | domainEnglishFormat.kif 23978-23978 | |
(termFormat EnglishLanguage FiscalYearStartingFn "fiscal year starting") | domainEnglishFormat.kif 23977-23977 |
antecedent |
![]() |
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY ?PERIOD)) (exists (?DAY) (and (instance ?DAY Day) (starts ?DAY ?FY) (temporalPart ?DAY ?YEAR)))) |
Economy.kif 3762-3771 | |
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD)) (instance ?FY ?PERIOD)) |
Economy.kif 3756-3760 | |
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (duration ?FY (MeasureFn 1 YearDuration))) |
Economy.kif 3752-3754 | |
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization))) |
Economy.kif 3740-3744 |
consequent |
![]() |
(=> (and (instance ?PLACE Agent) (instance ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE))) |
Economy.kif 3746-3750 |
![]() |
![]() |