| 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 "http://upload.wikimedia.org/wikipedia/commons/6/6f/ IE_Real_SandP_Prices%2C_Earnings%2C_and_Dividends_1871-2006.png") | pictureList.kif 6899-6899 | |
| (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 7993-7993 | |
| (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 7994-7994 | |
| (externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/d/d5/ IE_Real_SandP_Price-Earnings_Ratio%2C_Interest_1871-2006.png") | pictureList.kif 7995-7995 | |
| (subclass Stock FinancialInstrument) | FinancialOntology.kif 2152-2152 | Stock は FinancialInstrument の subclass では %n |
| (subclass Stock Investment) | FinancialOntology.kif 2153-2153 | Stock は Investment の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass BlueChipStock Stock) | FinancialOntology.kif 2179-2179 | BlueChipStock は Stock の subclass では %n |
| (subclass BorrowedStock Stock) | FinancialOntology.kif 3188-3188 | BorrowedStock は Stock の subclass では %n |
| (subclass CommonStock Stock) | FinancialOntology.kif 2158-2158 | CommonStock は Stock の subclass では %n |
| (subclass DefensiveStock Stock) | FinancialOntology.kif 2191-2191 | DefensiveStock は Stock の subclass では %n |
| (subclass GrowthStock Stock) | FinancialOntology.kif 2183-2183 | GrowthStock は Stock の subclass では %n |
| (subclass PennyStock Stock) | FinancialOntology.kif 2199-2199 | PennyStock は Stock の subclass では %n |
| (subclass PreferredStock Stock) | FinancialOntology.kif 2166-2166 | PreferredStock は Stock の subclass では %n |
| (subclass RestrictedStock Stock) | FinancialOntology.kif 2195-2195 | RestrictedStock は Stock の subclass では %n |
| (subclass ValueStock Stock) | FinancialOntology.kif 2187-2187 | ValueStock は Stock の subclass では %n |
| (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 | closingPrice の数値 1 引数は Stock の instance では %n |
| (domain finalPrice 1 Stock) | FinancialOntology.kif 3478-3478 | finalPrice の数値 1 引数は Stock の instance では %n |
| (domain listedOn 1 Stock) | FinancialOntology.kif 1726-1726 | listedOn の数値 1 引数は Stock の instance では %n |
| (domain stockHolder 1 Stock) | FinancialOntology.kif 2217-2217 | stockHolder の数値 1 引数は Stock の instance では %n |
| (domain stockSymbol 1 Stock) | FinancialOntology.kif 3443-3443 | stockSymbol の数値 1 引数は Stock の instance では %n |
| consequent |
|
|
| (<=> (instance ?Index StockIndex) (exists (?Stock) (and (instance ?Stock Stock) (benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1696-1701 | 抽象的な は StockIndex の instance では %n PerformanceMeasure PerformanceMeasure は Stock の instance では %n benchmark 抽象的な and PerformanceMeasure |
| (=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3202-3206 |
|
|
|