Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Marketplace
Marketplace

appearance as argument number 1
-------------------------


(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 22436-22439
(externalImage Marketplace "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ Street_market_rue_Mouffetard_St_Medard_dsc00727.jpg") pictureList.kif 864-864
(subclass Marketplace GeographicArea) Mid-level-ontology.kif 22435-22435 Marketplace地理的地域subclass では %n

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 22441-22447


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners