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。") chinese_format.kif 3666-3667
(documentation MercantileOrganization EnglishLanguage "Any Corporation which sells goods or services to customers for a profit.") Merge.kif 16233-16234
(externalImage MercantileOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0a/ AdamSmith.jpg") pictureList.kif 8594-8594
(externalImage MercantileOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 29/ Lorrain.seaport.jpg") pictureList.kif 9423-9423
(subclass MercantileOrganization Corporation) Merge.kif 16232-16232 MercantileOrganization法人subclass では %n

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


(subclass RetailStore MercantileOrganization) Mid-level-ontology.kif 7764-7764 RetailStoreMercantileOrganizationsubclass では %n
(subclass ShoppingMall MercantileOrganization) Mid-level-ontology.kif 7790-7790 ShoppingMallMercantileOrganizationsubclass では %n
(subclass WholesaleStore MercantileOrganization) Mid-level-ontology.kif 7750-7750 WholesaleStoreMercantileOrganizationsubclass では %n
(termFormat ChineseLanguage MercantileOrganization "商业组织") domainEnglishFormat.kif 37151-37151
(termFormat ChineseTraditionalLanguage MercantileOrganization "商業組織") domainEnglishFormat.kif 37150-37150
(termFormat EnglishLanguage MercantileOrganization "mercantile organization") domainEnglishFormat.kif 37149-37149

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


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


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 3.0 is open source software produced by Articulate Software and its partners