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 4037-4039
(domain FiscalYearFn 1 AutonomousAgent)	Economy.kif 4034-4034	FiscalYearFn の数値 1 引数は AutonomousAgent の instance では
(instance FiscalYearFn UnaryFunction)	Economy.kif 4033-4033	FiscalYearFn は 1変数関数の instance では
(rangeSubclass FiscalYearFn TimeInterval)	Economy.kif 4035-4035	FiscalYearFn が返す値は時間間隔の subclasses では

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 23977-23977
(termFormat ChineseTraditionalLanguage FiscalYearFn "財政年度")	domainEnglishFormat.kif 23976-23976
(termFormat EnglishLanguage FiscalYearFn "fiscal year")	domainEnglishFormat.kif 23975-23975

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 2352-2361	electricityConsumptionInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では時間位置時間位置は時間間隔の instance では annualElectricityConsumption 地政学的地域 and 物理量は時間位置の during holds
(=> (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 2396-2405	electricityExportInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では時間位置時間位置は時間間隔の instance では annualElectricityExport 地政学的地域 and 物理量は時間位置の during holds
(=> (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 2442-2451	electricityImportInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では時間位置時間位置は時間間隔の instance では annualElectricityImport 地政学的地域 and 物理量は時間位置の during holds
(=> (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 2220-2229	electricityProductionInPeriod 地政学的地域, 物理量 and 時間間隔時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では時間位置時間位置は時間間隔の instance では annualElectricityProduction 地政学的地域 and 物理量は時間位置の during holds
(=> (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 2517-2526	exportTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では時間位置時間位置は時間間隔の instance では annualExportTotal 地政学的地域 and 通貨測定は時間位置の during holds
(=> (and (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY (FiscalYearFn ?PLACE))) (instance ?FY ?PERIOD))	Economy.kif 4047-4051	fiscalYearPeriod AutonomousAgent and 時間間隔エンティティーは FiscalYearFn AutonomousAgent の instance ではエンティティーは時間間隔の instance では
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2363-2370	annualElectricityConsumption 地政学的地域 and 物理量は時間位置の during holds 時間位置は時間間隔の instance では時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では 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 2407-2414	annualElectricityExport 地政学的地域 and 物理量は時間位置の during holds 時間位置は時間間隔の instance では時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では 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 2453-2460	annualElectricityImport 地政学的地域 and 物理量は時間位置の during holds 時間位置は時間間隔の instance では時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では 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 2231-2238	annualElectricityProduction 地政学的地域 and 物理量は時間位置の during holds 時間位置は時間間隔の instance では時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では 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 2528-2535	annualExportTotal 地政学的地域 and 通貨測定は時間位置の during holds 時間位置は時間間隔の instance では時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では 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 2931-2938	annualImportTotal 地政学的地域 and 通貨測定は時間位置の during holds 時間位置は時間間隔の instance では時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では 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 2920-2929	importTotalInPeriod 地政学的地域, 通貨測定 and 時間間隔時間間隔は年の subclass では時間間隔は FiscalYearFn 地政学的地域の subclass では時間位置時間位置は時間間隔の instance では annualImportTotal 地政学的地域 and 通貨測定は時間位置の during holds
(=> (equal ?FY (FiscalYearFn ?PLACE)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 4041-4045	時間間隔は FiscalYearFn AutonomousAgent と equal では AutonomousAgent は地政学的地域の instance では AutonomousAgent は組織の instance では
(=> (instance ?FY (FiscalYearFn ?PLACE)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 4053-4055	時間間隔は FiscalYearFn AutonomousAgent の instance では時間間隔の duration は 1 の YearDuration(s) では

consequent

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

Economy.kif 4075-4079

AutonomousAgent は AutonomousAgent の instance では年は年の subclass では
FiscalYearStartingFn AutonomousAgent and 年は FiscalYearFn AutonomousAgent の instance では

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

KB Term:			Term intersection

English Word: