| StockMarket(stock market)
| | curb_market, securities_market, stock_exchange, stock_market |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1755-1756 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2006-2006 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2379-2379 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1754-1754 | Stock market is a subclass of organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55410-55410 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55409-55409 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55408-55408 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3195-3200 |
|
|
|
|