| StockMarket
| |
| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage StockMarket "股市") | domainEnglishFormat.kif 55412-55412 | |
| (termFormat ChineseTraditionalLanguage StockMarket "股市") | domainEnglishFormat.kif 55411-55411 | |
| (termFormat EnglishLanguage StockMarket "stock market") | domainEnglishFormat.kif 55410-55410 |
| consequent |
|
|
| (=> (instance ?Transaction StockMarketTransaction) (exists (?Market) (and (instance ?Market StockMarket) (eventLocated ?Transaction ?Market)))) |
FinancialOntology.kif 3195-3200 |
|
|
|