Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
fiscalYearPeriod
Sigma KEE - fiscalYearPeriod
fiscalYearPeriod
appearance as argument number 1
(
documentation
fiscalYearPeriod
EnglishLanguage
"The predicate
fiscalYearPeriod
indicates the period that an
AutonomousAgent
or
Organization
uses as its 12-month accounting period. (
fiscalYearPeriod
?AGENT
Year
) means that ?AGENT observes its 12-month accounting period during the regular calendar year (CY), from
January
to
December
. For fiscal years with other beginning and ending months (FYs), use (
fiscalYearPeriod
?AGENT (
RecurrentTimeIntervalFn
?STARTMONTH ?ENDMONTH)). For example, (
fiscalYearPeriod
(
GovernmentFn
UnitedStates
) (
RecurrentTimeIntervalFn
October
September
)). For FYs that begin or end mid-month, days may be specified within
RecurrentTimeIntervalFn
.")
Economy.kif 3684-3693
(
domain
fiscalYearPeriod
1
AutonomousAgent
)
Economy.kif 3681-3681
Die Zahl 1 Argument von
fiscalYearPeriod
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domainSubclass
fiscalYearPeriod
2
TimeInterval
)
Economy.kif 3682-3682
Die Zahl 2 Argument von
fiscalYearPeriod
ist eine
teilkategorie
von
TimeInterval
%n{nicht}
(
instance
fiscalYearPeriod
BinaryPredicate
)
Economy.kif 3680-3680
fiscalYearPeriod
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
fiscalYearPeriod
"%2 %n 是 %1 的 fiscal 年周期")
domainEnglishFormat.kif 1020-1020
(
format
ChineseTraditionalLanguage
fiscalYearPeriod
"%2 %n 是 %1 的 fiscal 年週期")
domainEnglishFormat.kif 1019-1019
(
format
EnglishLanguage
fiscalYearPeriod
"%2 is %n a fiscal year period of %1")
domainEnglishFormat.kif 1018-1018
(
termFormat
ChineseLanguage
fiscalYearPeriod
"财政年度")
domainEnglishFormat.kif 23978-23978
(
termFormat
ChineseTraditionalLanguage
fiscalYearPeriod
"財政年度")
domainEnglishFormat.kif 23977-23977
(
termFormat
EnglishLanguage
fiscalYearPeriod
"fiscal year period")
domainEnglishFormat.kif 23976-23976
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
Wenn
TimeInterval
ist gleich
FiscalYearStartingFn
AutonomousAgent
and
** Year
%n{nicht} und
fiscalYearPeriod
** AutonomousAgent
and
** ** TimeInterval
und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
und
TimePosition
um
** ** TimeInterval
ist ein
fall
von
Day
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** TimePosition
ist ein
fall
von
** Year
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht}
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD))
(
instance
?FY ?PERIOD))
Economy.kif 3748-3752
Wenn
TimeInterval
ist gleich
FiscalYearStartingFn
AutonomousAgent
and
** Year
%n{nicht} und
fiscalYearPeriod
** AutonomousAgent
and
** ** TimeInterval
,
dann
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht}
(=>
(
and
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY
(
FiscalYearFn
?PLACE)))
(
instance
?FY ?PERIOD))
Economy.kif 3710-3714
Wenn
fiscalYearPeriod
AutonomousAgent
and
** TimeInterval
und
Entity
ist ein
fall
von
FiscalYearFn
** AutonomousAgent
%n{nicht},
dann
** Entity
ist ein
fall
von
** TimeInterval
%n{nicht}
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