Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PennyStock(penny stock) |  | penny_stock |
| appearance as argument number 1 |
|
|
| (subclass PennyStock Stock) | FinancialOntology.kif 2240-2240 | Penny stock is a subclass of stock |
| (documentation PennyStock EnglishLanguage "Extremely speculative, high_risk Stock, usually with a price of less than 5 dollars per share. In the U.S., nearly all are traded on the over_the_counter bulletin board.") | FinancialOntology.kif 2241-2243 | Penny stock is a subclass of stock |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Stock PennyStock) (riskLevel ?Stock HighRisk)) |
FinancialOntology.kif 2245-2247 | If X is an instance of penny stock, then the risk level of X is high risk |
| (=> (and (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5)) |
FinancialOntology.kif 2249-2253 | If X is an instance of penny stock and Y asks for Z united states dollar(s) for X, then Z is less than 5 |
|