| 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 2085-2087 | |
| (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 7995-7995 | |
| (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 7996-7996 | |
| (externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/d/d5/ IE_Real_SandP_Price-Earnings_Ratio%2C_Interest_1871-2006.png") | pictureList.kif 7997-7997 | |
| (subclass Stock FinancialInstrument) | FinancialOntology.kif 2083-2083 | |
| (subclass Stock Investment) | FinancialOntology.kif 2084-2084 |
| appearance as argument number 2 |
|
|
| (subclass BlueChipStock Stock) | FinancialOntology.kif 2110-2110 | |
| (subclass BorrowedStock Stock) | FinancialOntology.kif 3092-3092 | |
| (subclass CommonStock Stock) | FinancialOntology.kif 2089-2089 | |
| (subclass DefensiveStock Stock) | FinancialOntology.kif 2122-2122 | |
| (subclass GrowthStock Stock) | FinancialOntology.kif 2114-2114 | |
| (subclass PennyStock Stock) | FinancialOntology.kif 2130-2130 | |
| (subclass PreferredStock Stock) | FinancialOntology.kif 2097-2097 | |
| (subclass RestrictedStock Stock) | FinancialOntology.kif 2126-2126 | |
| (subclass ValueStock Stock) | FinancialOntology.kif 2118-2118 | |
| (termFormat ChineseLanguage Stock "股票") | domainEnglishFormat.kif 55279-55279 | |
| (termFormat ChineseTraditionalLanguage Stock "股票") | domainEnglishFormat.kif 55278-55278 | |
| (termFormat EnglishLanguage Stock "stock") | domainEnglishFormat.kif 55277-55277 |
| appearance as argument number 3 |
|
|
| (domain closingPrice 1 Stock) | FinancialOntology.kif 3367-3367 | |
| (domain finalPrice 1 Stock) | FinancialOntology.kif 3375-3375 | |
| (domain listedOn 1 Stock) | FinancialOntology.kif 1662-1662 | |
| (domain stockHolder 1 Stock) | FinancialOntology.kif 2148-2148 | |
| (domain stockSymbol 1 Stock) | FinancialOntology.kif 3340-3340 |
| consequent |
|
|
| (<=> (instance ?Index StockIndex) (exists (?Stock) (and (instance ?Stock Stock) (benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1652-1657 | |
| (=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3106-3110 |
|
|
|