|
|
   StockMarketTransaction
|
|
|
| appearance as argument number 1 |
|
|
| (documentation StockMarketTransaction EnglishLanguage "Any FinancialTransaction which involves Stock and which occurs in a StockMarket.") | FinancialOntology.kif 3205-3206 | |
| (externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ NASDAQ.JPG") | pictureList.kif 8736-8736 | |
| (externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bombay-Stock-Exchange.jpg") | pictureList.kif 9699-9699 | |
| (subclass StockMarketTransaction FinancialTransaction) | FinancialOntology.kif 3204-3204 | 股市交易 是 金融交易 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Downtick StockMarketTransaction) | FinancialOntology.kif 3243-3243 | 打勾 是 股市交易 的 subclass |
| (subclass Uptick StockMarketTransaction) | FinancialOntology.kif 3221-3221 | 上扬 是 股市交易 的 subclass |
| (termFormat ChineseLanguage StockMarketTransaction "股市交易") | domainEnglishFormat.kif 55398-55398 | |
| (termFormat ChineseTraditionalLanguage StockMarketTransaction "股市交易") | domainEnglishFormat.kif 55397-55397 | |
| (termFormat EnglishLanguage StockMarketTransaction "stock market transaction") | domainEnglishFormat.kif 55396-55396 |
| antecedent |
|
|
| (=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3215-3219 | |
| (=> (instance ?Transaction StockMarketTransaction) (exists (?Market) (and (instance ?Market StockMarket) (eventLocated ?Transaction ?Market)))) |
FinancialOntology.kif 3208-3213 |
| 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 3247-3263 |
|
| (=> (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 3225-3241 |
|
|
|
|
