TreeView 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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: