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 3248-3249 | |
(subclass Downtick StockMarketTransaction) | FinancialOntology.kif 3247-3247 | Downtick は StockMarketTransaction の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Downtick "打勾") | domainEnglishFormat.kif 20283-20283 | |
(termFormat ChineseTraditionalLanguage Downtick "打勾") | domainEnglishFormat.kif 20282-20282 | |
(termFormat EnglishLanguage Downtick "downtick") | domainEnglishFormat.kif 20281-20281 |
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 3251-3267 |
|
![]() |
![]() |