| StockMarketTransaction
|
| appearance as argument number 1 |
|
| (documentation StockMarketTransaction EnglishLanguage "Any FinancialTransaction which involves Stock and which occurs in a StockMarket.") | FinancialOntology.kif 3096-3097 | |
| (externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ NASDAQ.JPG") | pictureList.kif 8740-8740 | |
| (externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bombay-Stock-Exchange.jpg") | pictureList.kif 9709-9709 | |
| (subclass StockMarketTransaction FinancialTransaction) | FinancialOntology.kif 3095-3095 |
| appearance as argument number 2 |
|
|
| (subclass Downtick StockMarketTransaction) | FinancialOntology.kif 3131-3131 | |
| (subclass Uptick StockMarketTransaction) | FinancialOntology.kif 3112-3112 | |
| (termFormat ChineseLanguage StockMarketTransaction "股市交易") | domainEnglishFormat.kif 55309-55309 | |
| (termFormat ChineseTraditionalLanguage StockMarketTransaction "股市交易") | domainEnglishFormat.kif 55308-55308 | |
| (termFormat EnglishLanguage StockMarketTransaction "stock market transaction") | domainEnglishFormat.kif 55307-55307 |
| antecedent |
|
|
| (=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3106-3110 | |
| (=> (instance ?Transaction StockMarketTransaction) (exists (?Market) (and (instance ?Market StockMarket) (eventLocated ?Transaction ?Market)))) |
FinancialOntology.kif 3099-3104 |
| consequent |
|
|
| (=> (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 | |
| (=> (and (instance ?Uptick Uptick) (patient ?Uptick ?Stock) (equal (WhenFn ?Uptick) ?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) (lessThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3116-3129 |
|
|
|