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 20274-20274 | |
(termFormat ChineseTraditionalLanguage Downtick "打勾") | domainEnglishFormat.kif 20273-20273 | |
(termFormat EnglishLanguage Downtick "downtick") | domainEnglishFormat.kif 20272-20272 |
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 |