TreeView Knowledge Base Browser

appearance as argument number 1

(subclass StockMarket Organization)	FinancialOntology.kif 1800-1800	Stock market is a subclass of organization
(documentation StockMarket EnglishLanguage "General term for the organized trading of stocks through exchanges and over_the_counter.")	FinancialOntology.kif 1801-1802	Stock market is a subclass of organization
(externalImage StockMarket "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ NYSESecurity.JPG")	pictureList.kif 2005-2005	Stock market is a subclass of organization
(externalImage StockMarket "http://upload.wikimedia.org/wikipedia/en/d/da/ Floortrader.jpg")	pictureList.kif 2378-2378	Stock market is a subclass of organization

appearance as argument number 2

(termFormat EnglishLanguage StockMarket "stock market")	domainEnglishFormat.kif 55405-55405
(termFormat ChineseTraditionalLanguage StockMarket "股市")	domainEnglishFormat.kif 55406-55406
(termFormat ChineseLanguage StockMarket "股市")	domainEnglishFormat.kif 55407-55407

consequent

(=>
    (instance ?Transaction StockMarketTransaction)
    (exists (?Market)
        (and
            (instance ?Market StockMarket)
            (eventLocated ?Transaction ?Market))))

If X is an instance of stock market transaction, then there exists Y such that Y is an instance of stock market and X is located at Y