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 | FiscalYearStartingFn の数値 1 引数は AutonomousAgent の instance では %n |
(domainSubclass FiscalYearStartingFn 2 Year) | Economy.kif 3724-3724 | FiscalYearStartingFn の数値 2 引数は 年 のsubclass では %n |
(instance FiscalYearStartingFn BinaryFunction) | Economy.kif 3721-3721 | FiscalYearStartingFn は 2変数関数 の instance では %n |
(range FiscalYearStartingFn TimeInterval) | Economy.kif 3726-3726 | FiscalYearStartingFn の range は 時間間隔 のインスタンス では %n |
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 |
consequent |
(=> (and (instance ?PLACE AutonomousAgent) (subclass ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE))) |
Economy.kif 3738-3742 |
|