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 3843-3845
(domain FiscalYearStartingFn 1 AutonomousAgent)	Economy.kif 3838-3838	The number 1 argument of fiscal year starting is an instance of agent
(domainSubclass FiscalYearStartingFn 2 Year)	Economy.kif 3839-3839	The number 2 argument of fiscal year starting is a subclass of year
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3836-3836	Fiscal year starting is an instance of binary function
(range FiscalYearStartingFn TimeInterval)	Economy.kif 3841-3841	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 24001-24001
(termFormat ChineseTraditionalLanguage FiscalYearStartingFn "財政年度開始")	domainEnglishFormat.kif 24000-24000
(termFormat EnglishLanguage FiscalYearStartingFn "fiscal year starting")	domainEnglishFormat.kif 23999-23999

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 3869-3879	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 exist a third time interval and a time position such that the third time interval is an instance of day and the third time interval starts the time interval and the time position is an instance of a kind of year and the third time interval is a part of the time position
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD)) (instance ?FY ?PERIOD))	Economy.kif 3863-3867	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 3859-3861	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 3847-3851	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 AutonomousAgent)
        (subclass ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))

Economy.kif 3853-3857

If an agent is an instance of agent and a kind of year is a subclass 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 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: