FiscalYearStartingFn - Sigma Knowledge base Browser

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 4065-4067
(domain FiscalYearStartingFn 1 AutonomousAgent)	Economy.kif 4060-4060	FiscalYearStartingFn の数値 1 引数は AutonomousAgent の instance では %n
(domainSubclass FiscalYearStartingFn 2 Year)	Economy.kif 4061-4061	FiscalYearStartingFn の数値 2 引数は年のsubclass では %n
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 4058-4058	FiscalYearStartingFn は 2変数関数の instance では %n
(range FiscalYearStartingFn TimeInterval)	Economy.kif 4063-4063	FiscalYearStartingFn の range は時間間隔のインスタンスでは %n

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 24000-24000
(termFormat ChineseTraditionalLanguage FiscalYearStartingFn "財政年度開始")	domainEnglishFormat.kif 23999-23999
(termFormat EnglishLanguage FiscalYearStartingFn "fiscal year starting")	domainEnglishFormat.kif 23998-23998

antecedent

(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY ?PERIOD)) (exists (?DAY ?INST) (and (instance ?DAY Day) (starts ?DAY ?FY) (instance ?INST ?YEAR) (temporalPart ?DAY ?INST))))	Economy.kif 4091-4101	時間間隔は FiscalYearStartingFn AutonomousAgent and 年と equal では %n fiscalYearPeriod AutonomousAgent and 時間間隔時間間隔は時間間隔の instance では %n 時間間隔時間位置時間間隔は日の instance では %n 時間間隔は時間間隔を starts %n{ない} 時間位置は年の instance では %n 時間間隔は時間位置の part では %n
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD)) (instance ?FY ?PERIOD))	Economy.kif 4085-4089	時間間隔は FiscalYearStartingFn AutonomousAgent and 年と equal では %n fiscalYearPeriod AutonomousAgent and 時間間隔時間間隔は時間間隔の instance では %n
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 4081-4083	時間間隔は FiscalYearStartingFn AutonomousAgent and 年と equal では %n 時間間隔の duration は 1 の YearDuration(s) では %n
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 4069-4073	時間間隔は FiscalYearStartingFn AutonomousAgent and 年と equal では %n AutonomousAgent は地政学的地域の instance では %n AutonomousAgent は組織の instance では %n

consequent

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

Economy.kif 4075-4079

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: