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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MercantileOrganization

Sigma KEE - MercantileOrganization
MercantileOrganization

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


(documentation MercantileOrganization ChineseLanguage "这是任何为了牟利而向顾客售卖货品或服务的 Corporation。") Merge.kif 16284-16285
(documentation MercantileOrganization EnglishLanguage "Any Corporation which sells goods or services to customers for a profit.") Merge.kif 16282-16283
(externalImage MercantileOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0a/ AdamSmith.jpg") pictureList.kif 8597-8597
(externalImage MercantileOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 29/ Lorrain.seaport.jpg") pictureList.kif 9428-9428
(subclass MercantileOrganization Corporation) Merge.kif 16281-16281

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


(subclass BusinessPark MercantileOrganization) Society.kif 376-376
(subclass RetailStore MercantileOrganization) Mid-level-ontology.kif 7465-7465
(subclass ShoppingMall MercantileOrganization) Mid-level-ontology.kif 7493-7493
(subclass WholesaleStore MercantileOrganization) Mid-level-ontology.kif 7450-7450
(termFormat EnglishLanguage MercantileOrganization "mercantile organization") domainEnglishFormat.kif 6612-6612

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


(=>
    (instance ?ORG MercantileOrganization)
    (hasPurpose ?ORG
        (exists (?SELL)
            (and
                (instance ?SELL Selling)
                (instance ?SELL CommercialService)
                (agent ?SELL ?ORG)))))
Merge.kif 16287-16294


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners