Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Uptick
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Uptick StockMarketTransaction) | FinancialOntology.kif 3265-3265 | Uptick is a subclass of stock market transaction |
| (documentation Uptick EnglishLanguage "A stock market transaction (or sometimes, a quote) at a price higher than the preceding one for the same security.") | FinancialOntology.kif 3266-3267 | Uptick is a subclass of stock market transaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Uptick Uptick) (patient ?Uptick ?Stock) (equal (WhenFn ?Uptick) ?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) (lessThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3269-3285 | If X is an instance of uptick, 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 less than V |
|