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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MercantileOrganization
MercantileOrganization(mercantile organization)
amusement_arcade

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 16282-16283
(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 16281-16281 Mercantile organization is a subclass of corporation

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


(subclass RetailStore MercantileOrganization) Mid-level-ontology.kif 7983-7983 Retail store is a subclass of mercantile organization
(subclass ShoppingMall MercantileOrganization) Mid-level-ontology.kif 8009-8009 Shopping mall is a subclass of mercantile organization
(subclass WholesaleStore MercantileOrganization) Mid-level-ontology.kif 7969-7969 Wholesale store is a subclass of mercantile organization
(termFormat ChineseLanguage MercantileOrganization "商业组织") domainEnglishFormat.kif 37185-37185 Wholesale store is a subclass of mercantile organization
(termFormat ChineseTraditionalLanguage MercantileOrganization "商業組織") domainEnglishFormat.kif 37184-37184 Wholesale store is a subclass of mercantile organization
(termFormat EnglishLanguage MercantileOrganization "mercantile organization") domainEnglishFormat.kif 37183-37183 Wholesale store is a subclass of mercantile organization

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


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


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