Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners