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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners