| StockMarket(stock market)
| | curb_market, securities_market, stock_exchange, stock_market |
| appearance as argument number 1 |
|
|
| (documentation StockMarket EnglishLanguage "General term for the organized trading of stocks through exchanges and over-the-counter.") | FinancialOntology.kif 1755-1756 | |
| (externalImage StockMarket "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ NYSESecurity.JPG") | pictureList.kif 2006-2006 | |
| (externalImage StockMarket "http://upload.wikimedia.org/wikipedia/en/d/da/ Floortrader.jpg") | pictureList.kif 2379-2379 | |
| (subclass StockMarket Organization) | FinancialOntology.kif 1754-1754 | Stock market is a subclass of organization |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage StockMarket "股市") | domainEnglishFormat.kif 55450-55450 | |
| (termFormat ChineseTraditionalLanguage StockMarket "股市") | domainEnglishFormat.kif 55449-55449 | |
| (termFormat EnglishLanguage StockMarket "stock market") | domainEnglishFormat.kif 55448-55448 |
| consequent |
|
|
| (=> (instance ?Transaction StockMarketTransaction) (exists (?Market) (and (instance ?Market StockMarket) (eventLocated ?Transaction ?Market)))) |
FinancialOntology.kif 3195-3200 |
|
|
|
|