|
|
   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 "http://upload.wikimedia.org/wikipedia/commons/6/6f/ IE_Real_SandP_Prices%2C_Earnings%2C_and_Dividends_1871-2006.png") | pictureList.kif 6900-6900 | |
| (externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/7/77/ Price-Earnings_Ratios_as_a_Predictor_of_Twenty-Year_Returns_%28Shiller_Data%29.png") | pictureList.kif 7994-7994 | |
| (externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Price-Earnings_Ratios_as_a_Predictor_of_Ten-Year_Returns_%28Shiller_Data%29.png") | pictureList.kif 7995-7995 | |
| (externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/d/d5/ 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 |
| consequent |
|
|
| (<=> (instance ?Index StockIndex) (exists (?Stock) (and (instance ?Stock Stock) (benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1710-1715 | 抽象体 是 股票指数 的 instance 若且唯若 有存在 性能指标 这样 那个 性能指标 是 股票 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark |
| (=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3215-3219 |
|
|
|
