Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Stock

appearance as argument number 1

(documentation Stock EnglishLanguage "An instrument that signifies an ownership position, or equity, in a Corporation, and represents a claim on its proportionate share in the corporation's assets and profits.") FinancialOntology.kif 2168-2170
(externalImage Stock " IE_Real_SandP_Prices%2C_Earnings%2C_and_Dividends_1871-2006.png") pictureList.kif 6900-6900
(externalImage Stock " Price-Earnings_Ratios_as_a_Predictor_of_Twenty-Year_Returns_%28Shiller_Data%29.png") pictureList.kif 7994-7994
(externalImage Stock " Price-Earnings_Ratios_as_a_Predictor_of_Ten-Year_Returns_%28Shiller_Data%29.png") pictureList.kif 7995-7995
(externalImage Stock " IE_Real_SandP_Price-Earnings_Ratio%2C_Interest_1871-2006.png") pictureList.kif 7996-7996
(subclass Stock FinancialInstrument) FinancialOntology.kif 2166-2166 股票金融工具subclass
(subclass Stock Investment) FinancialOntology.kif 2167-2167 股票投资subclass

appearance as argument number 2

(subclass BlueChipStock Stock) FinancialOntology.kif 2193-2193 蓝筹股股票subclass
(subclass BorrowedStock Stock) FinancialOntology.kif 3201-3201 借来的股票股票subclass
(subclass CommonStock Stock) FinancialOntology.kif 2172-2172 普通股股票subclass
(subclass DefensiveStock Stock) FinancialOntology.kif 2205-2205 防守股票股票subclass
(subclass GrowthStock Stock) FinancialOntology.kif 2197-2197 成长股股票subclass
(subclass PennyStock Stock) FinancialOntology.kif 2213-2213 便士股票股票subclass
(subclass PreferredStock Stock) FinancialOntology.kif 2180-2180 优先股股票subclass
(subclass RestrictedStock Stock) FinancialOntology.kif 2209-2209 限制性股票股票subclass
(subclass ValueStock Stock) FinancialOntology.kif 2201-2201 价值股票股票subclass
(termFormat ChineseLanguage Stock "股票") domainEnglishFormat.kif 55368-55368
(termFormat ChineseTraditionalLanguage Stock "股票") domainEnglishFormat.kif 55367-55367
(termFormat EnglishLanguage Stock "stock") domainEnglishFormat.kif 55366-55366

appearance as argument number 3

(domain closingPrice 1 Stock) FinancialOntology.kif 3483-3483 收盘价 的 1 数量 是 股票instance
(domain finalPrice 1 Stock) FinancialOntology.kif 3491-3491 最终价格 的 1 数量 是 股票instance
(domain listedOn 1 Stock) FinancialOntology.kif 1740-1740 上市在 的 1 数量 是 股票instance
(domain stockHolder 1 Stock) FinancialOntology.kif 2231-2231 股票持有人 的 1 数量 是 股票instance
(domain stockSymbol 1 Stock) FinancialOntology.kif 3456-3456 股票的符号 的 1 数量 是 股票instance


    (instance ?Index StockIndex)
    (exists (?Stock)
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))
FinancialOntology.kif 1710-1715 抽象体股票指数instance 若且唯若 有存在 性能指标 这样 那个 性能指标股票instance那个 性能指标那个 抽象体benchmark
        (instance ?Transaction StockMarketTransaction)
        (patient ?Transaction ?Stock))
    (instance ?Stock Stock))
FinancialOntology.kif 3215-3219

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