| 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 3231-3232 | |
| (subclass Downtick StockMarketTransaction) | FinancialOntology.kif 3230-3230 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Downtick "打勾") | domainEnglishFormat.kif 20285-20285 | |
| (termFormat ChineseTraditionalLanguage Downtick "打勾") | domainEnglishFormat.kif 20284-20284 | |
| (termFormat EnglishLanguage Downtick "downtick") | domainEnglishFormat.kif 20283-20283 |
| 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 3234-3250 |
|
|
|