FiscalYearFn |
appearance as argument number 1 |
![]() |
(documentation FiscalYearFn EnglishLanguage "(FiscalYearFn ?PLACE) denotes the subclass of TimeIntervals that are fiscalYearPeriods of the Organization or GeopoliticalArea ?PLACE.") | Economy.kif 3703-3705 | |
(domain FiscalYearFn 1 Agent) | Economy.kif 3700-3700 | domain FiscalYearFn, 1 and Agent |
(instance FiscalYearFn UnaryFunction) | Economy.kif 3699-3699 | instance FiscalYearFn and UnaryFunction |
(rangeSubclass FiscalYearFn TimeInterval) | Economy.kif 3701-3701 | rangeSubclass FiscalYearFn and TimeInterval |
appearance as argument number 2 |
![]() |
(format ChineseLanguage FiscalYearFn "%1 的 fiscal 年") | domainEnglishFormat.kif 1016-1016 | |
(format ChineseTraditionalLanguage FiscalYearFn "%1 的 fiscal 年") | domainEnglishFormat.kif 1015-1015 | |
(format EnglishLanguage FiscalYearFn "the fiscal year of %1") | domainEnglishFormat.kif 1014-1014 | |
(termFormat ChineseLanguage FiscalYearFn "财政年度") | domainEnglishFormat.kif 23905-23905 | termFormat ChineseLanguage, FiscalYearFn and "财政年度" |
(termFormat ChineseTraditionalLanguage FiscalYearFn "財政年度") | domainEnglishFormat.kif 23904-23904 | termFormat ChineseTraditionalLanguage, FiscalYearFn and "財政年度" |
(termFormat EnglishLanguage FiscalYearFn "fiscal year") | domainEnglishFormat.kif 23903-23903 | termFormat EnglishLanguage, FiscalYearFn and "fiscal year" |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?PLACE Agent) (instance ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE))) |
Economy.kif 3739-3743 |
![]() |
![]() |