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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FiscalYearStartingFn

Sigma KEE - FiscalYearStartingFn
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 domain FiscalYearStartingFn, 1 and Agent
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 3733-3733 domainSubclass FiscalYearStartingFn, 2 and Year
(instance FiscalYearStartingFn BinaryFunction) Economy.kif 3731-3731 instance FiscalYearStartingFn and BinaryFunction
(range FiscalYearStartingFn TimeInterval) Economy.kif 3734-3734 range FiscalYearStartingFn and TimeInterval

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
(=>
    (and
        (equal ?FY
            (FiscalYearStartingFn ?PLACE ?YEAR))
        (fiscalYearPeriod ?PLACE ?PERIOD))
    (instance ?FY ?PERIOD))
Economy.kif 3756-3760
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (duration ?FY
        (MeasureFn 1 YearDuration)))
Economy.kif 3752-3754
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3740-3744

consequent
-------------------------


(=>
    (and
        (instance ?PLACE Agent)
        (instance ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))
Economy.kif 3746-3750


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