Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - fiscalYearPeriod
fiscalYearPeriod

appearance as argument number 1
-------------------------


(instance fiscalYearPeriod BinaryPredicate) Economy.kif 4012-4012 fiscal year period is an instance of binary predicate
(domain fiscalYearPeriod 1 AutonomousAgent) Economy.kif 4013-4013 The number 1 argument of fiscal year period is an instance of agent
(domainSubclass fiscalYearPeriod 2 TimeInterval) Economy.kif 4014-4014 The number 2 argument of fiscal year period is a subclass of timeframe
(documentation fiscalYearPeriod EnglishLanguage "The predicate fiscalYearPeriod indicates the period that an AutonomousAgent or Organization uses as its 12-month accounting period. (fiscalYearPeriod ?AGENT Year) means that ?AGENT observes its 12-month accounting period during the regular calendar year (CY), from January to December. For fiscal years with other beginning and ending months (FYs), use (fiscalYearPeriod ?AGENT (RecurrentTimeIntervalFn ?STARTMONTH ?ENDMONTH)). For example, (fiscalYearPeriod (GovernmentFn UnitedStates) (RecurrentTimeIntervalFn October September)). For FYs that begin or end mid-month, days may be specified within RecurrentTimeIntervalFn.") Economy.kif 4016-4025 The number 2 argument of fiscal year period is a subclass of timeframe

appearance as argument number 2
-------------------------


(format EnglishLanguage fiscalYearPeriod "%2 is %n a fiscal year period of %1") domainEnglishFormat.kif 1018-1018
(format ChineseTraditionalLanguage fiscalYearPeriod "%2 %n 是 %1 的 fiscal 年週期") domainEnglishFormat.kif 1019-1019
(format ChineseLanguage fiscalYearPeriod "%2 %n 是 %1 的 fiscal 年周期") domainEnglishFormat.kif 1020-1020
(termFormat EnglishLanguage fiscalYearPeriod "fiscal year period") domainEnglishFormat.kif 23974-23974
(termFormat ChineseTraditionalLanguage fiscalYearPeriod "財政年度") domainEnglishFormat.kif 23975-23975
(termFormat ChineseLanguage fiscalYearPeriod "财政年度") domainEnglishFormat.kif 23976-23976

antecedent
-------------------------


(=>
    (and
        (fiscalYearPeriod ?PLACE ?PERIOD)
        (instance ?FY
            (FiscalYearFn ?PLACE)))
    (instance ?FY ?PERIOD))		 Economy.kif 4042-4046 If X is a fiscal year period of Y and Z is an instance of the fiscal year of Y, then Z is an instance of X
(=>
    (and
        (equal ?FY
            (FiscalYearStartingFn ?PLACE ?YEAR))
        (fiscalYearPeriod ?PLACE ?PERIOD))
    (instance ?FY ?PERIOD))		 Economy.kif 4080-4084 If equal X, the fiscal year starting of Y, and Z and W is a fiscal year period of Y, then X is an instance of W
(=>
    (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 4086-4096 If equal X, the fiscal year starting of Y, and Z, W is a fiscal year period of Y, and X is an instance of W, then there exist V, U such that V is an instance of day, V starts X, U is an instance of Z, and V is a part of U


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners