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