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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FiscalYearFn
FiscalYearFn

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


s__documentation(s__FiscalYearFn__m,s__EnglishLanguage,'"(FiscalYearFn ?PLACE) denotes the subclass of TimeIntervals that are fiscalYearPeriods of the Organization or GeopoliticalArea ?PLACE."')

Economy.kif 3703-3705
s__domain(s__FiscalYearFn__m,n__1,s__Agent)

Economy.kif 3700-3700 The number 1 argument of fiscal year is an instance of agent
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__FiscalYearFn__m,s__UnaryFunction)

Economy.kif 3699-3699 Fiscal year is an instance of unary function
s__rangeSubclass(s__FiscalYearFn__m,s__TimeInterval)

Economy.kif 3701-3701 The values returned by fiscal year are subclasses of time interval

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


s__format(s__ChineseLanguage,s__FiscalYearFn__m,'"%1 的 fiscal 年"')

domainEnglishFormat.kif 1016-1016
s__format(s__ChineseTraditionalLanguage,s__FiscalYearFn__m,'"%1 的 fiscal 年"')

domainEnglishFormat.kif 1015-1015
s__format(s__EnglishLanguage,s__FiscalYearFn__m,'"the fiscal year of %1"')

domainEnglishFormat.kif 1014-1014
s__termFormat(s__ChineseLanguage,s__FiscalYearFn__m,'"财政年度"')

domainEnglishFormat.kif 23967-23967
s__termFormat(s__ChineseTraditionalLanguage,s__FiscalYearFn__m,'"財政年度"')

domainEnglishFormat.kif 23966-23966
s__termFormat(s__EnglishLanguage,s__FiscalYearFn__m,'"fiscal year"')

domainEnglishFormat.kif 23965-23965

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2116-2125
No TPTP formula. May not be expressible in strict first order. Economy.kif 2160-2169
No TPTP formula. May not be expressible in strict first order. Economy.kif 2206-2215
No TPTP formula. May not be expressible in strict first order. Economy.kif 1984-1993
No TPTP formula. May not be expressible in strict first order. Economy.kif 2281-2290
( ! [V__FY,V__PLACE,V__PERIOD] :
   (((s__instance(V__PLACE,s__Agent) &
         s__subclass(V__PERIOD,s__TimeInterval) &
         s__instance(V__PERIOD,s__Class))
       =>
       (((s__fiscalYearPeriod(V__PLACE,V__PERIOD)
           &
           s__instance(V__FY,s__FiscalYearFn(V__PLACE)))
     =>
     (s__instance(V__FY,V__PERIOD)))))
)
)

Economy.kif 3713-3717
No TPTP formula. May not be expressible in strict first order. Economy.kif 2127-2134
No TPTP formula. May not be expressible in strict first order. Economy.kif 2171-2178
No TPTP formula. May not be expressible in strict first order. Economy.kif 2217-2224
No TPTP formula. May not be expressible in strict first order. Economy.kif 1995-2002
No TPTP formula. May not be expressible in strict first order. Economy.kif 2292-2299
No TPTP formula. May not be expressible in strict first order. Economy.kif 2597-2604
No TPTP formula. May not be expressible in strict first order. Economy.kif 2586-2595
( ! [V__FY,V__PLACE] :
   (((s__subclass(V__FY,s__TimeInterval) &
         s__instance(V__PLACE,s__Agent))
       =>
       (((V__FY = s__FiscalYearFn(V__PLACE))
         =>
         ((s__instance(V__PLACE,s__GeopoliticalArea) |
             s__instance(V__PLACE,s__Organization))))))
   )
)

Economy.kif 3707-3711
( ! [V__FY,V__PLACE] :
   (((s__instance(V__FY,s__TimeInterval) &
         s__instance(V__PLACE,s__Agent))
       =>
       ((s__instance(V__FY,s__FiscalYearFn(V__PLACE))
       =>
       (s__duration(V__FY,s__MeasureFn(n__1,s__YearDuration))))))
)
)

Economy.kif 3719-3721

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


( ! [V__PLACE,V__YEAR] :
   ((s__subclass(V__YEAR,s__Year) =>
       (((s__instance(V__PLACE,s__Agent) &
             s__instance(V__YEAR,s__Year))
           =>
           (s__instance(s__FiscalYearStartingFn(V__PLACE,V__YEAR)
          ,s__FiscalYearFn(V__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 3.0 is open source software produced by Articulate Software and its partners