TreeView Knowledge Base Browser - FiscalYearStartingFn

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 3736-3738
(domain FiscalYearStartingFn 1 Agent)	Economy.kif 3732-3732	The number 1 argument of fiscal year starting is an instance of agent
(domainSubclass FiscalYearStartingFn 2 Year)	Economy.kif 3733-3733	The number 2 argument of fiscal year starting is a subclass of year
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3731-3731	Fiscal year starting is an instance of binary function
(range FiscalYearStartingFn TimeInterval)	Economy.kif 3734-3734	The range of fiscal year starting is an instance of time interval

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

antecedent

(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY ?PERIOD)) (exists (?DAY) (and (instance ?DAY Day) (starts ?DAY ?FY) (temporalPart ?DAY ?YEAR))))	Economy.kif 3762-3771	If a time interval is equal to the fiscal year starting of an agent and a kind of year and another kind of time interval is a fiscal year period of the agent and the time interval is an instance of another kind of time interval, then there exists a third time interval such that the third time interval is an instance of day and the third time interval starts the time interval and the third time interval is a part of a kind of year
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD)) (instance ?FY ?PERIOD))	Economy.kif 3756-3760	If a time interval is equal to the fiscal year starting of an agent and a kind of year and another kind of time interval is a fiscal year period of the agent, then the time interval is an instance of another kind of time interval
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 3752-3754	If a time interval is equal to the fiscal year starting of an agent and a kind of year, then duration of the time interval is 1 year duration(s)
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 3740-3744	If a time interval is equal to the fiscal year starting of an agent and a kind of year, then the agent is an instance of geopolitical area or the agent is an instance of organization

consequent

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

Economy.kif 3746-3750

If an agent is an instance of agent and a kind of year is an instance of year,
then the fiscal year starting of the agent and a kind of year is an instance of the fiscal year of the agent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: