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
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 3728-3730
(
domain
FiscalYearStartingFn
1
AutonomousAgent
)
Economy.kif 3723-3723
域
財政年度開始
, 1 and
AutonomousAgent
(
domainSubclass
FiscalYearStartingFn
2
Year
)
Economy.kif 3724-3724
域子類
財政年度開始
, 2 and
年
(
instance
FiscalYearStartingFn
BinaryFunction
)
Economy.kif 3721-3721
例
財政年度開始
and
BinaryFunction
(
range
FiscalYearStartingFn
TimeInterval
)
Economy.kif 3726-3726
範圍
財政年度開始
and
TimeInterval
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
等於
TimeInterval
and
AutonomousAgent
和
年
的
fiscal
開始年分
TimeInterval
是
AutonomousAgent
的
fiscal
年週期
例
TimeInterval
and
TimeInterval
TimeInterval
TimePosition
例
TimeInterval
and
Day
啟動
TimeInterval
and
TimeInterval
例
TimePosition
and
年
時間部分
TimeInterval
and
TimePosition
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD))
(
instance
?FY ?PERIOD))
Economy.kif 3748-3752
等於
TimeInterval
and
AutonomousAgent
和
年
的
fiscal
開始年分
TimeInterval
是
AutonomousAgent
的
fiscal
年週期
例
TimeInterval
and
TimeInterval
(=>
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3744-3746
等於
TimeInterval
and
AutonomousAgent
和
年
的
fiscal
開始年分
持續時間
TimeInterval
and
測量
1 and
年持續時間
(=>
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
or
(
instance
?PLACE
GeopoliticalArea
)
(
instance
?PLACE
Organization
)))
Economy.kif 3732-3736
等於
TimeInterval
and
AutonomousAgent
和
年
的
fiscal
開始年分
例
AutonomousAgent
and
GeopoliticalArea
例
AutonomousAgent
and
Organization
consequent
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
例
AutonomousAgent
and
AutonomousAgent
子類
年
and
年
例
AutonomousAgent
和
年
的
fiscal
開始年分 and
AutonomousAgent
的
fiscal
年
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