| 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 3132-3133 | |
| (subclass Downtick StockMarketTransaction) | FinancialOntology.kif 3131-3131 | subclass Downtick and StockMarketTransaction |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Downtick "打勾") | domainEnglishFormat.kif 20197-20197 | |
| (termFormat ChineseTraditionalLanguage Downtick "打勾") | domainEnglishFormat.kif 20196-20196 | |
| (termFormat EnglishLanguage Downtick "downtick") | domainEnglishFormat.kif 20195-20195 |
| 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 3135-3148 |
|
|
|
|