Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Downtick
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Downtick StockMarketTransaction) | FinancialOntology.kif 3287-3287 | Downtick is a subclass of stock market transaction |
| (documentation Downtick EnglishLanguage "A stock market transaction (or sometimes, a quote) at a price lower than the preceding one for the same security.") | FinancialOntology.kif 3288-3289 | Downtick is a subclass of stock market transaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Downtick Downtick) (patient ?Downtick ?Stock) (equal (WhenFn ?Downtick) ?Time1) (instance ?U UnitOfCurrency) (price ?Stock (MeasureFn ?Price1 ?U) ?Time1)) (exists (?Transaction ?Time2 ?Price2) (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock) (equal (WhenFn ?Transaction) ?Time2) (meetsTemporally ?Time2 ?Time1) (price ?Stock (MeasureFn ?Price2 ?U) ?Time2) (greaterThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3291-3307 | If X is an instance of downtick, Y is a patient of X, equal the time of existence of X and Z, W is an instance of unit of currency, and Y is price V W(s) for Z, then there exist U, T and S such that U is an instance of stock market transaction and Y is a patient of U and equal the time of existence of U and T and T meets Z and Y is price S W(s) for T and S is greater than V |
|