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
FiscalYearFn
Sigma KEE - FiscalYearFn
FiscalYearFn
appearance as argument number 1
(
documentation
FiscalYearFn
EnglishLanguage
"(
FiscalYearFn
?PLACE) denotes the subclass of
TimeInterval
s that are
fiscalYearPeriod
s of the
Organization
or
GeopoliticalArea
?PLACE.")
Economy.kif 3700-3702
(
domain
FiscalYearFn
1
AutonomousAgent
)
Economy.kif 3697-3697
财政年度
的 1 数量 是
施事体
的
instance
(
instance
FiscalYearFn
UnaryFunction
)
Economy.kif 3696-3696
财政年度
是
一元函数
的
instance
(
rangeSubclass
FiscalYearFn
TimeInterval
)
Economy.kif 3698-3698
财政年度
的所得值 是
时距
的
subclass
appearance as argument number 2
(
format
ChineseLanguage
FiscalYearFn
"%1 的 fiscal 年")
domainEnglishFormat.kif 1016-1016
(
format
ChineseTraditionalLanguage
FiscalYearFn
"%1 的 fiscal 年")
domainEnglishFormat.kif 1015-1015
(
format
EnglishLanguage
FiscalYearFn
"the fiscal year of %1")
domainEnglishFormat.kif 1014-1014
(
termFormat
ChineseLanguage
FiscalYearFn
"财政年度")
domainEnglishFormat.kif 23972-23972
(
termFormat
ChineseTraditionalLanguage
FiscalYearFn
"財政年度")
domainEnglishFormat.kif 23971-23971
(
termFormat
EnglishLanguage
FiscalYearFn
"fiscal year")
domainEnglishFormat.kif 23970-23970
antecedent
(=>
(
and
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT)))))
Economy.kif 2112-2121
如果
地缘政治区域
是 对于
有点 时距
在其间
物理量
的
electricity
消耗 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
的
annual
电力消耗 在
那个 时间位置
holdsDuring
(=>
(
and
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT)))))
Economy.kif 2156-2165
如果
地缘政治区域
是 对于
有点 时距
在周期
物理量
的
electricity
输出 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
的
annual
电力输出 在
那个 时间位置
holdsDuring
(=>
(
and
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT)))))
Economy.kif 2202-2211
如果
地缘政治区域
是 对于
有点 时距
在周期
物理量
的
electricity
输出 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
annual
的电力输入 在
那个 时间位置
holdsDuring
(=>
(
and
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT)))))
Economy.kif 1980-1989
如果
地缘政治区域
是 对于
有点 时距
在周期
物理量
的
electricity
生产 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
的
annual
电力生产 在
那个 时间位置
holdsDuring
(=>
(
and
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT)))))
Economy.kif 2277-2286
如果
地缘政治区域
对于
有点 时距
在周期
货币测量
export
全部 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
annual
总共输出 在
那个 时间位置
holdsDuring
(=>
(
and
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY
(
FiscalYearFn
?PLACE)))
(
instance
?FY ?PERIOD))
Economy.kif 3710-3714
如果
有点 时距
是
施事体
的
fiscal
年周期 和
实体
是
那个 施事体
的
fiscal
年 的
instance
,
然后
那个 实体
是
有点 时距
的
instance
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2123-2130
如果
物理量
是
地缘政治区域
的
annual
电力消耗 在
时间位置
holdsDuring
和
那个 时间位置
是
有点 时距
的
instance
和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后
那个 地缘政治区域
是 对于
那个 有点 时距
在其间
那个 物理量
的
electricity
消耗
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2167-2174
如果
物理量
是
地缘政治区域
的
annual
电力输出 在
时间位置
holdsDuring
和
那个 时间位置
是
有点 时距
的
instance
和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后
那个 地缘政治区域
是 对于
那个 有点 时距
在周期
那个 物理量
的
electricity
输出
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2213-2220
如果
物理量
是
地缘政治区域
annual
的电力输入 在
时间位置
holdsDuring
和
那个 时间位置
是
有点 时距
的
instance
和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后
那个 地缘政治区域
是 对于
那个 有点 时距
在周期
那个 物理量
的
electricity
输出
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 1991-1998
如果
物理量
是
地缘政治区域
的
annual
电力生产 在
时间位置
holdsDuring
和
那个 时间位置
是
有点 时距
的
instance
和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后
那个 地缘政治区域
是 对于
那个 有点 时距
在周期
那个 物理量
的
electricity
生产
(=>
(
and
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2288-2295
如果
货币测量
是
地缘政治区域
的
annual
总共输出 在
时间位置
holdsDuring
和
那个 时间位置
是
有点 时距
的
instance
和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后
那个 地缘政治区域
对于
那个 有点 时距
在周期
那个 货币测量
export
全部
(=>
(
and
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2594-2601
如果
货币测量
是
地缘政治区域
的
annual
总共输入 在
时间位置
holdsDuring
和
那个 时间位置
是
有点 时距
的
instance
和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后
那个 地缘政治区域
对于
那个 有点 时距
在周期
那个 货币测量
import
全部
(=>
(
and
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT)))))
Economy.kif 2583-2592
如果
地缘政治区域
对于
有点 时距
在周期
货币测量
import
全部 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
annual
总共输入 在
那个 时间位置
holdsDuring
(=>
(
equal
?FY
(
FiscalYearFn
?PLACE))
(
or
(
instance
?PLACE
GeopoliticalArea
)
(
instance
?PLACE
Organization
)))
Economy.kif 3704-3708
如果
有点 时距
equal
施事体
的
fiscal
年,
然后
那个 施事体
是
地缘政治区域
的
instance
或
那个 施事体
是
机构
的
instance
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
如果
时距
是
施事体
的
fiscal
年 的
instance
,
然后
那个 时距
的
duration
是 1
年持续时间
consequent
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
如果
施事体
是
施事体
的
instance
和
有点 年
是
年
的
subclass
,
然后
那个 施事体
和
有点 年
的
fiscal
开始年分 是
那个 施事体
的
fiscal
年 的
instance
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