| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners