StockMarketTransaction |
appearance as argument number 1 |
(documentation StockMarketTransaction EnglishLanguage "Any FinancialTransaction which involves Stock and which occurs in a StockMarket.") | FinancialOntology.kif 3192-3193 | |
(externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ NASDAQ.JPG") | pictureList.kif 8735-8735 | |
(externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bombay-Stock-Exchange.jpg") | pictureList.kif 9691-9691 | |
(subclass StockMarketTransaction FinancialTransaction) | FinancialOntology.kif 3191-3191 |
appearance as argument number 2 |
(subclass Downtick StockMarketTransaction) | FinancialOntology.kif 3230-3230 | |
(subclass Uptick StockMarketTransaction) | FinancialOntology.kif 3208-3208 | |
(termFormat ChineseLanguage StockMarketTransaction "股市交易") | domainEnglishFormat.kif 55418-55418 | |
(termFormat ChineseTraditionalLanguage StockMarketTransaction "股市交易") | domainEnglishFormat.kif 55417-55417 | |
(termFormat EnglishLanguage StockMarketTransaction "stock market transaction") | domainEnglishFormat.kif 55416-55416 |
antecedent |
(=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock)) |
FinancialOntology.kif 3202-3206 | |
(=> (instance ?Transaction StockMarketTransaction) (exists (?Market) (and (instance ?Market StockMarket) (eventLocated ?Transaction ?Market)))) |
FinancialOntology.kif 3195-3200 |
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 3234-3250 | |
(=> (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 3212-3228 |