| Downtick | |
| appearance as argument number 1 |
|
|
| (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 3125-3126 | |
| (subclass Downtick StockMarketTransaction) | FinancialOntology.kif 3124-3124 | subclass Downtick and StockMarketTransaction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Downtick "downtick") | domainEnglishFormat.kif 3800-3800 | termFormat EnglishLanguage, Downtick and "downtick" |
| antecedent |
|
|
| (=> (and (instance ?Downtick Downtick) (patient ?Downtick ?Stock) (equal (WhenFn ?Downtick) ?Time1) (price ?Stock ?Price1 ?Time1)) (exists (?Transaction ?Time2) (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock) (equal (WhenFn ?Transaction) ?Time2) (meetsTemporally ?Time2 ?Time1) (price ?Stock ?Price2 ?Time2) (greaterThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3128-3141 |
|
|
|