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 2154-2156
(externalImage Stock " IE_Real_SandP_Prices%2C_Earnings%2C_and_Dividends_1871-2006.png") pictureList.kif 6899-6899
(externalImage Stock " Price-Earnings_Ratios_as_a_Predictor_of_Twenty-Year_Returns_%28Shiller_Data%29.png") pictureList.kif 7993-7993
(externalImage Stock " Price-Earnings_Ratios_as_a_Predictor_of_Ten-Year_Returns_%28Shiller_Data%29.png") pictureList.kif 7994-7994
(externalImage Stock " IE_Real_SandP_Price-Earnings_Ratio%2C_Interest_1871-2006.png") pictureList.kif 7995-7995
(subclass Stock FinancialInstrument) FinancialOntology.kif 2152-2152 股票金融工具subclass
(subclass Stock Investment) FinancialOntology.kif 2153-2153 股票投资subclass

appearance as argument number 2

(subclass BlueChipStock Stock) FinancialOntology.kif 2179-2179 蓝筹股股票subclass
(subclass BorrowedStock Stock) FinancialOntology.kif 3188-3188 借来的股票股票subclass
(subclass CommonStock Stock) FinancialOntology.kif 2158-2158 普通股股票subclass
(subclass DefensiveStock Stock) FinancialOntology.kif 2191-2191 防守股票股票subclass
(subclass GrowthStock Stock) FinancialOntology.kif 2183-2183 成长股股票subclass
(subclass PennyStock Stock) FinancialOntology.kif 2199-2199 便士股票股票subclass
(subclass PreferredStock Stock) FinancialOntology.kif 2166-2166 优先股股票subclass
(subclass RestrictedStock Stock) FinancialOntology.kif 2195-2195 限制性股票股票subclass
(subclass ValueStock Stock) FinancialOntology.kif 2187-2187 价值股票股票subclass
(termFormat ChineseLanguage Stock "股票") domainEnglishFormat.kif 55386-55386
(termFormat ChineseTraditionalLanguage Stock "股票") domainEnglishFormat.kif 55385-55385
(termFormat EnglishLanguage Stock "stock") domainEnglishFormat.kif 55384-55384

appearance as argument number 3

(domain closingPrice 1 Stock) FinancialOntology.kif 3470-3470 收盘价 的 1 数量 是 股票instance
(domain finalPrice 1 Stock) FinancialOntology.kif 3478-3478 最终价格 的 1 数量 是 股票instance
(domain listedOn 1 Stock) FinancialOntology.kif 1726-1726 上市在 的 1 数量 是 股票instance
(domain stockHolder 1 Stock) FinancialOntology.kif 2217-2217 股票持有人 的 1 数量 是 股票instance
(domain stockSymbol 1 Stock) FinancialOntology.kif 3443-3443 股票的符号 的 1 数量 是 股票instance


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

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