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
Die Zahl 1 Argument von
benchmark
ist ein
fall
von
Abstract
%n{nicht}
(
domain
benchmark
2
PerformanceMeasure
)
FinancialOntology.kif 1648-1648
Die Zahl 2 Argument von
benchmark
ist ein
fall
von
PerformanceMeasure
%n{nicht}
(
instance
benchmark
BinaryPredicate
)
FinancialOntology.kif 1646-1646
benchmark
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
Abstract
ist ein
fall
von
NASDAQCompositeIndex
%n{nicht} und
benchmark
** Abstract
and
PerformanceMeasure
,
dann
listedOn
** PerformanceMeasure
and
NASDAQ
consequent
(<=>
(
instance
?Index
InflationIndex
)
(
exists
(?Inflation)
(
and
(
instance
?Inflation
Inflation
)
(
benchmark
?Inflation ?Index))))
FinancialOntology.kif 1668-1673
PerformanceMeasure
ist ein
fall
von
InflationIndex
%n{nicht} genau dann wenn es gibt
Abstract
um
** Abstract
ist ein
fall
von
Inflation
%n{nicht} und
benchmark
** Abstract
and
** PerformanceMeasure
(<=>
(
instance
?Index
StockIndex
)
(
exists
(?Stock)
(
and
(
instance
?Stock
Stock
)
(
benchmark
?Index ?Stock))))
FinancialOntology.kif 1696-1701
Abstract
ist ein
fall
von
StockIndex
%n{nicht} genau dann wenn es gibt
PerformanceMeasure
um
** PerformanceMeasure
ist ein
fall
von
Stock
%n{nicht} und
benchmark
** Abstract
and
** PerformanceMeasure
(=>
(
instance
?Index
Index
)
(
exists
(?Performance)
(
and
(
benchmark
?Performance ?Index)
(
instance
?Performance
EconomicIndicator
))))
FinancialOntology.kif 1632-1637
Wenn
PerformanceMeasure
ist ein
fall
von
Index
%n{nicht},
dann es gibt
Abstract
um
benchmark
** Abstract
and
** PerformanceMeasure
und
** Abstract
ist ein
fall
von
EconomicIndicator
%n{nicht}
(=>
(
instance
?Inflation
Inflation
)
(
or
(
and
(
benchmark
?Inflation ?CPI)
(
instance
?CPI
ConsumerPriceIndex
))
(
and
(
benchmark
?Inflation ?PPI)
(
instance
?PPI
ProducerPriceIndex
))))
FinancialOntology.kif 1656-1664
Wenn
Abstract
ist ein
fall
von
Inflation
%n{nicht},
dann
benchmark
** Abstract
and
PerformanceMeasure
und
** PerformanceMeasure
ist ein
fall
von
ConsumerPriceIndex
%n{nicht} oder
benchmark
** Abstract
and
** PerformanceMeasure
und
** ** PerformanceMeasure
ist ein
fall
von
ProducerPriceIndex
%n{nicht}
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