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 2163-2165
(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 2161-2161 股票金融工具subclass
(subclass Stock Investment) FinancialOntology.kif 2162-2162 股票投资subclass

appearance as argument number 2

(subclass BlueChipStock Stock) FinancialOntology.kif 2188-2188 蓝筹股股票subclass
(subclass BorrowedStock Stock) FinancialOntology.kif 3195-3195 借来的股票股票subclass
(subclass CommonStock Stock) FinancialOntology.kif 2167-2167 普通股股票subclass
(subclass DefensiveStock Stock) FinancialOntology.kif 2200-2200 防守股票股票subclass
(subclass GrowthStock Stock) FinancialOntology.kif 2192-2192 成长股股票subclass
(subclass PennyStock Stock) FinancialOntology.kif 2208-2208 便士股票股票subclass
(subclass PreferredStock Stock) FinancialOntology.kif 2175-2175 优先股股票subclass
(subclass RestrictedStock Stock) FinancialOntology.kif 2204-2204 限制性股票股票subclass
(subclass ValueStock Stock) FinancialOntology.kif 2196-2196 价值股票股票subclass
(termFormat ChineseLanguage Stock "股票") domainEnglishFormat.kif 55365-55365
(termFormat ChineseTraditionalLanguage Stock "股票") domainEnglishFormat.kif 55364-55364
(termFormat EnglishLanguage Stock "stock") domainEnglishFormat.kif 55363-55363

appearance as argument number 3

(domain closingPrice 1 Stock) FinancialOntology.kif 3474-3474 收盘价 的 1 数量 是 股票instance
(domain finalPrice 1 Stock) FinancialOntology.kif 3482-3482 最终价格 的 1 数量 是 股票instance
(domain listedOn 1 Stock) FinancialOntology.kif 1739-1739 上市在 的 1 数量 是 股票instance
(domain stockHolder 1 Stock) FinancialOntology.kif 2226-2226 股票持有人 的 1 数量 是 股票instance
(domain stockSymbol 1 Stock) FinancialOntology.kif 3449-3449 股票的符号 的 1 数量 是 股票instance


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

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 is open source software produced by Articulate Software and its partners