| StockMarketTransaction(stock market transaction)
|
| appearance as argument number 1 |
|
| (subclass StockMarketTransaction FinancialTransaction) | FinancialOntology.kif 3208-3208 | Stock market transaction is a subclass of financial transaction |
| (documentation StockMarketTransaction EnglishLanguage "Any FinancialTransaction which involves Stock and which occurs in a StockMarket.") | FinancialOntology.kif 3209-3210 | Stock market transaction is a subclass of financial transaction |
| (externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ NASDAQ.JPG") | pictureList.kif 8734-8734 | Stock market transaction is a subclass of financial transaction |
| (externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bombay_Stock_Exchange.jpg") | pictureList.kif 9690-9690 | Stock market transaction is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Transaction StockMarketTransaction) (exists (?Market) (and (instance ?Market StockMarket) (eventLocated ?Transaction ?Market)))) |
FinancialOntology.kif 3212-3217 | If X is an instance of stock market transaction, then there exists Y such that Y is an instance of stock market and X is located at Y |
| (=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3219-3223 | If X is an instance of stock market transaction and Y is a patient of X, then Y is an instance of stock |
| consequent |
|
|
| (=> (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 | If X is an instance of uptick, Y is a patient of X, equal the time of existence of X and Z, W is an instance of unit of currency, and Y is price V W(s) for Z, then there exist U, T and S such that U is an instance of stock market transaction and Y is a patient of U and equal the time of existence of U and T and T meets Z and Y is price S W(s) for T and S is less than V |
| (=> (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 | If X is an instance of downtick, Y is a patient of X, equal the time of existence of X and Z, W is an instance of unit of currency, and Y is price V W(s) for Z, then there exist U, T and S such that U is an instance of stock market transaction and Y is a patient of U and equal the time of existence of U and T and T meets Z and Y is price S W(s) for T and S is greater than V |
|
|
|