| 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 2171-2173 | |
| (externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/6/6f/ IE_Real_SandP_Prices%2C_Earnings%2C_and_Dividends_1871-2006.png") | pictureList.kif 6898-6898 | |
| (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 7992-7992 | |
| (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 7993-7993 | |
| (externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/d/d5/ IE_Real_SandP_Price_Earnings_Ratio%2C_Interest_1871-2006.png") | pictureList.kif 7994-7994 | |
| (subclass Stock FinancialInstrument) | FinancialOntology.kif 2169-2169 | Stock is a subclass of FinancialInstrument |
| (subclass Stock Investment) | FinancialOntology.kif 2170-2170 | Stock is a subclass of Investment |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain closingPrice 1 Stock) | FinancialOntology.kif 3488-3488 | The number 1 argument of closingPrice is an instance of Stock |
| (domain finalPrice 1 Stock) | FinancialOntology.kif 3496-3496 | The number 1 argument of finalPrice is an instance of Stock |
| (domain listedOn 1 Stock) | FinancialOntology.kif 1743-1743 | The number 1 argument of listedOn is an instance of Stock |
| (domain stockHolder 1 Stock) | FinancialOntology.kif 2234-2234 | The number 1 argument of stockHolder is an instance of Stock |
| (domain stockSymbol 1 Stock) | FinancialOntology.kif 3461-3461 | The number 1 argument of stockSymbol is an instance of Stock |
| consequent |
|
|
| (<=> (instance ?Index StockIndex) (exists (?Stock) (and (instance ?Stock Stock) (benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1713-1718 | An abstract is an instance of StockIndex if and only if there exists a PerformanceMeasure such that the PerformanceMeasure is an instance of Stock and benchmark the abstract and the PerformanceMeasure |
| (=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3219-3223 |
|
|
|
|