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
benchmark
Sigma KEE - benchmark
benchmark
appearance as argument number 1
(
documentation
benchmark
EnglishLanguage
"A standard by which something can be measured or judged.")
FinancialOntology.kif 1649-1649
(
domain
benchmark
1
Abstract
)
FinancialOntology.kif 1647-1647
基准
的 1 数量 是
抽象体
的
instance
(
domain
benchmark
2
PerformanceMeasure
)
FinancialOntology.kif 1648-1648
基准
的 2 数量 是
性能指标
的
instance
(
instance
benchmark
BinaryPredicate
)
FinancialOntology.kif 1646-1646
基准
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
benchmark
"%2 %n 是 %1 的
benchmark
")
domainEnglishFormat.kif 268-268
(
format
ChineseTraditionalLanguage
benchmark
"%2 %n 是 %1 的
benchmark
")
domainEnglishFormat.kif 267-267
(
format
EnglishLanguage
benchmark
"%2 is %n a
benchmark
of %1")
domainEnglishFormat.kif 266-266
(
termFormat
ChineseLanguage
benchmark
"基准")
domainEnglishFormat.kif 10721-10721
(
termFormat
ChineseTraditionalLanguage
benchmark
"基準")
domainEnglishFormat.kif 10720-10720
(
termFormat
EnglishLanguage
benchmark
"benchmark")
domainEnglishFormat.kif 10719-10719
antecedent
(=>
(
and
(
instance
?Index
NASDAQCompositeIndex
)
(
benchmark
?Index ?Stock))
(
listedOn
?Stock
NASDAQ
))
FinancialOntology.kif 1734-1738
如果
抽象体
是
纳斯达克综合指数
的
instance
和
性能指标
是
那个 抽象体
的
benchmark
,
然后
那个 性能指标
是在
人纳斯达克
listed
consequent
(<=>
(
instance
?Index
InflationIndex
)
(
exists
(?Inflation)
(
and
(
instance
?Inflation
Inflation
)
(
benchmark
?Inflation ?Index))))
FinancialOntology.kif 1668-1673
性能指标
是
通胀指数
的
instance
若且唯若 有存在
抽象体
这样
那个 抽象体
是
Inflation
的
instance
和
那个 性能指标
是
那个 抽象体
的
benchmark
(<=>
(
instance
?Index
StockIndex
)
(
exists
(?Stock)
(
and
(
instance
?Stock
Stock
)
(
benchmark
?Index ?Stock))))
FinancialOntology.kif 1696-1701
抽象体
是
股票指数
的
instance
若且唯若 有存在
性能指标
这样
那个 性能指标
是
股票
的
instance
和
那个 性能指标
是
那个 抽象体
的
benchmark
(=>
(
instance
?Index
Index
)
(
exists
(?Performance)
(
and
(
benchmark
?Performance ?Index)
(
instance
?Performance
EconomicIndicator
))))
FinancialOntology.kif 1632-1637
如果
性能指标
是
指数
的
instance
,
然后 有存在
抽象体
这样
那个 性能指标
是
那个 抽象体
的
benchmark
和
那个 抽象体
是
经济指标
的
instance
(=>
(
instance
?Inflation
Inflation
)
(
or
(
and
(
benchmark
?Inflation ?CPI)
(
instance
?CPI
ConsumerPriceIndex
))
(
and
(
benchmark
?Inflation ?PPI)
(
instance
?PPI
ProducerPriceIndex
))))
FinancialOntology.kif 1656-1664
如果
抽象体
是
Inflation
的
instance
,
然后
性能指标
是
那个 抽象体
的
benchmark
和
那个 性能指标
是
消费者价格指数
的
instance
或
另一个 性能指标
是
那个 抽象体
的
benchmark
和
那个 另外 性能指标
是
生产者价格指数
的
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