TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Marketplace GeographicArea)	Mid-level-ontology.kif 24712-24712	Marketplace is a subclass of geographic area
(documentation Marketplace EnglishLanguage "An area, building, or set of buildings where FinancialTransactions are intended to take place. There should be more than one owner or renter of space or buildings within the marketplace.")	Mid-level-ontology.kif 24713-24716	Marketplace is a subclass of geographic area
(externalImage Marketplace "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ Street_market_rue_Mouffetard_St_Medard_dsc00727.jpg")	pictureList.kif 864-864	Marketplace is a subclass of geographic area

appearance as argument number 2

(termFormat EnglishLanguage Marketplace "marketplace")	domainEnglishFormat.kif 36281-36281
(termFormat ChineseTraditionalLanguage Marketplace "市場")	domainEnglishFormat.kif 36282-36282
(termFormat ChineseLanguage Marketplace "市场")	domainEnglishFormat.kif 36283-36283

antecedent

(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))

If X is an instance of marketplace, then X has the purpose there exists Y such that Y is an instance of financial transaction and Y is located at X