Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Stock FinancialInstrument) | FinancialOntology.kif 2193-2193 | Stock is a subclass of financial instrument |
| (subclass Stock Investment) | FinancialOntology.kif 2194-2194 | Stock is a subclass of investment |
| (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 2195-2197 | Stock is a subclass of investment |
| (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 | Stock is a subclass of investment |
| (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 | Stock is a subclass of investment |
| (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 | Stock is a subclass of investment |
| (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 | Stock is a subclass of investment |
| appearance as argument number 2 |
|
|
| (subclass CommonStock Stock) | FinancialOntology.kif 2199-2199 | Common stock is a subclass of stock |
| (subclass PreferredStock Stock) | FinancialOntology.kif 2207-2207 | Preferred stock is a subclass of stock |
| (subclass BlueChipStock Stock) | FinancialOntology.kif 2220-2220 | Blue chip stock is a subclass of stock |
| (subclass GrowthStock Stock) | FinancialOntology.kif 2224-2224 | Growth stock is a subclass of stock |
| (subclass ValueStock Stock) | FinancialOntology.kif 2228-2228 | Value stock is a subclass of stock |
| (subclass DefensiveStock Stock) | FinancialOntology.kif 2232-2232 | Defensive stock is a subclass of stock |
| (subclass RestrictedStock Stock) | FinancialOntology.kif 2236-2236 | Restricted stock is a subclass of stock |
| (subclass PennyStock Stock) | FinancialOntology.kif 2240-2240 | Penny stock is a subclass of stock |
| (subclass BorrowedStock Stock) | FinancialOntology.kif 3245-3245 | Borrowed stock is a subclass of stock |
| (termFormat EnglishLanguage Stock "stock") | domainEnglishFormat.kif 55381-55381 | Borrowed stock is a subclass of stock |
| (termFormat ChineseTraditionalLanguage Stock "股票") | domainEnglishFormat.kif 55382-55382 | Borrowed stock is a subclass of stock |
| (termFormat ChineseLanguage Stock "股票") | domainEnglishFormat.kif 55383-55383 | Borrowed stock is a subclass of stock |
| appearance as argument number 3 |
|
|
| (domain listedOn 1 Stock) | FinancialOntology.kif 1772-1772 | The number 1 argument of listed on is an instance of stock |
| (domain stockHolder 1 Stock) | FinancialOntology.kif 2258-2258 | The number 1 argument of stock holder is an instance of stock |
| (domain stockSymbol 1 Stock) | FinancialOntology.kif 3501-3501 | The number 1 argument of stock symbol is an instance of stock |
| (domain closingPrice 1 Stock) | FinancialOntology.kif 3528-3528 | The number 1 argument of closing price is an instance of stock |
| (domain finalPrice 1 Stock) | FinancialOntology.kif 3536-3536 | The number 1 argument of final price is an instance of stock |
| consequent |
|
|
| (<=> (instance ?Index StockIndex) (exists (?Stock) (and (instance ?Stock Stock) (benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1742-1747 | X is an instance of stock index if, only if there exists Y such that Y is an instance of stock, and Y is a benchmark of X |
| (=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3259-3263 | If X is an instance of stock market transaction and Y is a patient of X, then Y is an instance of stock |
|
