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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of fiscal year starting is an instance of agent
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 3726-3726 The number 2 argument of fiscal year starting is a subclass of year
(instance FiscalYearStartingFn BinaryFunction) Economy.kif 3724-3724 Fiscal year starting is an instance of binary function
(range FiscalYearStartingFn TimeInterval) Economy.kif 3727-3727 The range of fiscal year starting is an instance of time interval

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 "fiscal year starting" is the printable form of fiscal year starting in english language

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