FiscalYearFn - Sigma Knowledge base Browser

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	FiscalYearFn の数値 1 引数は代理(人) の instance では %n
(instance FiscalYearFn UnaryFunction)	Economy.kif 3699-3699	FiscalYearFn は 1変数関数の instance では %n
(rangeSubclass FiscalYearFn TimeInterval)	Economy.kif 3701-3701	FiscalYearFn が返す値は時間間隔の subclasses では %n

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

(=> (and (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)))))	Economy.kif 2116-2125	electricityConsumptionInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualElectricityConsumption 地政学的地域 and 物理量は時間位置の during holds %n{ない}
(=> (and (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)))))	Economy.kif 2160-2169	electricityExportInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualElectricityExport 地政学的地域 and 物理量は時間位置の during holds %n{ない}
(=> (and (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)))))	Economy.kif 2206-2215	electricityImportInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualElectricityImport 地政学的地域 and 物理量は時間位置の during holds %n{ない}
(=> (and (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)))))	Economy.kif 1984-1993	electricityProductionInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualElectricityProduction 地政学的地域 and 物理量は時間位置の during holds %n{ない}
(=> (and (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)))))	Economy.kif 2281-2290	exportTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualExportTotal 地政学的地域 and 通貨測定は時間位置の during holds %n{ない}
(=> (and (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY (FiscalYearFn ?PLACE))) (instance ?FY ?PERIOD))	Economy.kif 3713-3717	fiscalYearPeriod 代理(人) and 時間間隔エンティティーは FiscalYearFn 代理(人) の instance では %n エンティティーは時間間隔の instance では %n
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2127-2134	annualElectricityConsumption 地政学的地域 and 物理量は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n electricityConsumptionInPeriod 地政学的地域, 物理量 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2171-2178	annualElectricityExport 地政学的地域 and 物理量は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n electricityExportInPeriod 地政学的地域, 物理量 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2217-2224	annualElectricityImport 地政学的地域 and 物理量は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n electricityImportInPeriod 地政学的地域, 物理量 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 1995-2002	annualElectricityProduction 地政学的地域 and 物理量は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n electricityProductionInPeriod 地政学的地域, 物理量 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2292-2299	annualExportTotal 地政学的地域 and 通貨測定は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n exportTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔
(=> (and (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2597-2604	annualImportTotal 地政学的地域 and 通貨測定は時間位置の during holds %n{ない} 時間位置は時間間隔の instance では %n 時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n importTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔
(=> (and (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)))))	Economy.kif 2586-2595	importTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔時間間隔は年の subclass では %n 時間間隔は FiscalYearFn 地政学的地域の subclass では %n 時間位置時間位置は時間間隔の instance では %n annualImportTotal 地政学的地域 and 通貨測定は時間位置の during holds %n{ない}
(=> (equal ?FY (FiscalYearFn ?PLACE)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 3707-3711	時間間隔は FiscalYearFn 代理(人) と equal では %n 代理(人) は地政学的地域の instance では %n 代理(人) は組織の instance では %n
(=> (instance ?FY (FiscalYearFn ?PLACE)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 3719-3721	時間間隔は FiscalYearFn 代理(人) の instance では %n 時間間隔の duration は 1 の YearDuration(s) では %n

consequent

(=>
    (and
        (instance ?PLACE Agent)
        (instance ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))

Economy.kif 3739-3743

代理(人) は代理(人) の instance では %n 年は年の instance では %n
FiscalYearStartingFn 代理(人) and 年は FiscalYearFn 代理(人) の instance では %n

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: