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
The number 1 argument of
benchmark
is an
instance
of
abstract
(
domain
benchmark
2
PerformanceMeasure
)
FinancialOntology.kif 1648-1648
The number 2 argument of
benchmark
is an
instance
of
performance measure
(
instance
benchmark
BinaryPredicate
)
FinancialOntology.kif 1646-1646
benchmark
is an
instance
of
binary predicate
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
If
an abstract
is an
instance
of
NASDAQ composite index
and
a performance measure
is a
benchmark
of
the abstract
,
then
the performance measure
is
listed
on
NASDAQ
consequent
(<=>
(
instance
?Index
InflationIndex
)
(
exists
(?Inflation)
(
and
(
instance
?Inflation
Inflation
)
(
benchmark
?Inflation ?Index))))
FinancialOntology.kif 1668-1673
A performance measure
is an
instance
of
inflation index
if and only if there exists
an abstract
such that
the abstract
is an
instance
of
Inflation
and
the performance measure
is a
benchmark
of
the abstract
(<=>
(
instance
?Index
StockIndex
)
(
exists
(?Stock)
(
and
(
instance
?Stock
Stock
)
(
benchmark
?Index ?Stock))))
FinancialOntology.kif 1696-1701
An abstract
is an
instance
of
stock index
if and only if there exists
a performance measure
such that
the performance measure
is an
instance
of
stock
and
the performance measure
is a
benchmark
of
the abstract
(=>
(
instance
?Index
Index
)
(
exists
(?Performance)
(
and
(
benchmark
?Performance ?Index)
(
instance
?Performance
EconomicIndicator
))))
FinancialOntology.kif 1632-1637
If
a performance measure
is an
instance
of
index
,
then there exists
an abstract
such that
the performance measure
is a
benchmark
of
the abstract
and
the abstract
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 1656-1664
If
an abstract
is an
instance
of
Inflation
,
then
a performance measure
is a
benchmark
of
the abstract
and
the performance measure
is an
instance
of
consumer price index
or
another performance measure
is a
benchmark
of
the abstract
and
the other performance measure
is an
instance
of
producer price index
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