KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
benchmark
Sigma KEE - benchmark
benchmark
appearance as argument number 1
(
instance
benchmark
BinaryPredicate
)
FinancialOntology.kif 1691-1691
benchmark
is an
instance
of
binary predicate
(
domain
benchmark
1
Abstract
)
FinancialOntology.kif 1692-1692
The number 1 argument of
benchmark
is an
instance
of
abstract
(
domain
benchmark
2
PerformanceMeasure
)
FinancialOntology.kif 1693-1693
The number 2 argument of
benchmark
is an
instance
of
performance measure
(
documentation
benchmark
EnglishLanguage
"A standard by which something can be measured or judged.")
FinancialOntology.kif 1694-1694
The number 2 argument of
benchmark
is an
instance
of
performance measure
appearance as argument number 2
(
format
EnglishLanguage
benchmark
"%2 is %n a
benchmark
of %1")
domainEnglishFormat.kif 266-266
(
format
ChineseTraditionalLanguage
benchmark
"%2 %n 是 %1 的
benchmark
")
domainEnglishFormat.kif 267-267
(
format
ChineseLanguage
benchmark
"%2 %n 是 %1 的
benchmark
")
domainEnglishFormat.kif 268-268
(
termFormat
EnglishLanguage
benchmark
"benchmark")
domainEnglishFormat.kif 10725-10725
(
termFormat
ChineseTraditionalLanguage
benchmark
"基準")
domainEnglishFormat.kif 10726-10726
(
termFormat
ChineseLanguage
benchmark
"基准")
domainEnglishFormat.kif 10727-10727
antecedent
(=>
(
and
(
instance
?Index
NASDAQCompositeIndex
)
(
benchmark
?Index ?Stock))
(
listedOn
?Stock
NASDAQ
))
FinancialOntology.kif 1780-1784
If
X
is an
instance
of
NASDAQ composite index
and
Y
is a
benchmark
of
X
, then
Y
is
listed
on
NASDAQ
consequent
(=>
(
instance
?Index
Index
)
(
exists
(?Performance)
(
and
(
benchmark
?Performance ?Index)
(
instance
?Performance
EconomicIndicator
))))
FinancialOntology.kif 1677-1682
If
X
is an
instance
of
index
, then there exists
Y
such that
X
is a
benchmark
of
Y
and
Y
is an
instance
of
economic indicator
(=>
(
instance
?Inflation
Inflation
)
(
or
(
and
(
benchmark
?Inflation ?CPI)
(
instance
?CPI
ConsumerPriceIndex
))
(
and
(
benchmark
?Inflation ?PPI)
(
instance
?PPI
ProducerPriceIndex
))))
FinancialOntology.kif 1702-1710
If
X
is an
instance
of
inflation
, then
Y
is a
benchmark
of
X
and
Y
is an
instance
of
consumer price index
or
Z
is a
benchmark
of
X
and
Z
is an
instance
of
producer price index
(<=>
(
instance
?Index
InflationIndex
)
(
exists
(?Inflation)
(
and
(
instance
?Inflation
Inflation
)
(
benchmark
?Inflation ?Index))))
FinancialOntology.kif 1714-1719
X
is an
instance
of
inflation index
if, only if there exists
Y
such that
Y
is an
instance
of
inflation
, and
X
is a
benchmark
of
Y
(<=>
(
instance
?Index
StockIndex
)
(
exists
(?Stock)
(
and
(
instance
?Stock
Stock
)
(
benchmark
?Index ?Stock))))
FinancialOntology.kif 1742-1747
X
is an
instance
of
stock index
if, only if there exists
Y
such that
Y
is an
instance
of
stock
, and
Y
is a
benchmark
of
X
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.0-
a0cce400
(2026-06-02) is
open source software
produced by
Articulate Software
and its partners
