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 3729-3731
(domain FiscalYearStartingFn 1 Agent) Economy.kif 3725-3725
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 3726-3726
(instance FiscalYearStartingFn BinaryFunction) Economy.kif 3724-3724
(range FiscalYearStartingFn TimeInterval) Economy.kif 3727-3727

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


(format EnglishLanguage FiscalYearStartingFn "the fiscal year starting of %1 and %2") domainEnglishFormat.kif 264-264
(termFormat EnglishLanguage FiscalYearStartingFn "fiscal year starting") domainEnglishFormat.kif 4419-4419

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 3755-3764
(=>
    (and
        (equal ?FY
            (FiscalYearStartingFn ?PLACE ?YEAR))
        (fiscalYearPeriod ?PLACE ?PERIOD))
    (instance ?FY ?PERIOD))
Economy.kif 3749-3753
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (duration ?FY
        (MeasureFn 1 YearDuration)))
Economy.kif 3745-3747
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3733-3737

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners