| StockMarketTransaction
|
| appearance as argument number 1 |
|
| (documentation StockMarketTransaction EnglishLanguage "Any FinancialTransaction which involves Stock and which occurs in a StockMarket.") | FinancialOntology.kif 3209-3210 | |
| (externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ NASDAQ.JPG") | pictureList.kif 8734-8734 | |
| (externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bombay_Stock_Exchange.jpg") | pictureList.kif 9690-9690 | |
| (subclass StockMarketTransaction FinancialTransaction) | FinancialOntology.kif 3208-3208 |
| appearance as argument number 2 |
|
|
| (subclass Downtick StockMarketTransaction) | FinancialOntology.kif 3247-3247 | |
| (subclass Uptick StockMarketTransaction) | FinancialOntology.kif 3225-3225 | |
| (termFormat ChineseLanguage StockMarketTransaction "股市交易") | domainEnglishFormat.kif 55420-55420 | |
| (termFormat ChineseTraditionalLanguage StockMarketTransaction "股市交易") | domainEnglishFormat.kif 55419-55419 | |
| (termFormat EnglishLanguage StockMarketTransaction "stock market transaction") | domainEnglishFormat.kif 55418-55418 |
| antecedent |
|
|
| (=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3219-3223 | |
| (=> (instance ?Transaction StockMarketTransaction) (exists (?Market) (and (instance ?Market StockMarket) (eventLocated ?Transaction ?Market)))) |
FinancialOntology.kif 3212-3217 |
| consequent |
|
|
| (=> (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 | |
| (=> (and (instance ?Uptick Uptick) (patient ?Uptick ?Stock) (equal (WhenFn ?Uptick) ?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) (lessThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3229-3245 |
|
|
|