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 3700-3702
(domain FiscalYearFn 1 AutonomousAgent)	Economy.kif 3697-3697	FiscalYearFn の数値 1 引数は AutonomousAgent の instance では %n
(instance FiscalYearFn UnaryFunction)	Economy.kif 3696-3696	FiscalYearFn は 1変数関数の instance では %n
(rangeSubclass FiscalYearFn TimeInterval)	Economy.kif 3698-3698	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 23972-23972
(termFormat ChineseTraditionalLanguage FiscalYearFn "財政年度")	domainEnglishFormat.kif 23971-23971
(termFormat EnglishLanguage FiscalYearFn "fiscal year")	domainEnglishFormat.kif 23970-23970

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 2112-2121	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 2156-2165	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 2202-2211	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 1980-1989	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 2277-2286	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 3710-3714	fiscalYearPeriod AutonomousAgent and 時間間隔エンティティーは FiscalYearFn AutonomousAgent の 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 2123-2130	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 2167-2174	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 2213-2220	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 1991-1998	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 2288-2295	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 2594-2601	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 2583-2592	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 3704-3708	時間間隔は FiscalYearFn AutonomousAgent と equal では %n AutonomousAgent は地政学的地域の instance では %n AutonomousAgent は組織の instance では %n
(=> (instance ?FY (FiscalYearFn ?PLACE)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 3716-3718	時間間隔は FiscalYearFn AutonomousAgent の instance では %n 時間間隔の duration は 1 の YearDuration(s) では %n

consequent

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

Economy.kif 3738-3742

AutonomousAgent は AutonomousAgent の instance では %n 年は年の subclass では %n
FiscalYearStartingFn AutonomousAgent and 年は FiscalYearFn AutonomousAgent の 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: