Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  fiscalYearPeriod

Sigma KEE - fiscalYearPeriod
fiscalYearPeriod

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


(documentation fiscalYearPeriod EnglishLanguage "The predicate fiscalYearPeriod indicates the period that an Agent 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 3694-3703
(domain fiscalYearPeriod 1 Agent) Economy.kif 3691-3691
(domainSubclass fiscalYearPeriod 2 TimeInterval) Economy.kif 3692-3692
(instance fiscalYearPeriod BinaryPredicate) Economy.kif 3690-3690

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


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

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
(=>
    (and
        (equal ?FY
            (FiscalYearStartingFn ?PLACE ?YEAR))
        (fiscalYearPeriod ?PLACE ?PERIOD))
    (instance ?FY ?PERIOD))
Economy.kif 3756-3760
(=>
    (and
        (fiscalYearPeriod ?PLACE ?PERIOD)
        (instance ?FY
            (FiscalYearFn ?PLACE)))
    (instance ?FY ?PERIOD))
Economy.kif 3720-3724


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

Show without tree


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