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 3728-3730
(domain FiscalYearStartingFn 1 AutonomousAgent) Economy.kif 3723-3723 财政年度开始 的 1 数量 是 施事体instance
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 3724-3724 财政年度开始 的 2 数量 是 subclass
(instance FiscalYearStartingFn BinaryFunction) Economy.kif 3721-3721 财政年度开始二元函数instance
(range FiscalYearStartingFn TimeInterval) Economy.kif 3726-3726 财政年度开始range时距 的实例

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 23984-23984
(termFormat ChineseTraditionalLanguage FiscalYearStartingFn "財政年度開始") domainEnglishFormat.kif 23983-23983
(termFormat EnglishLanguage FiscalYearStartingFn "fiscal year starting") domainEnglishFormat.kif 23982-23982

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


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

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


(=>
    (and
        (instance ?PLACE AutonomousAgent)
        (subclass ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))
Economy.kif 3738-3742


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 is open source software produced by Articulate Software and its partners