MercantileOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MercantileOrganization Corporation)	Merge.kif 16569-16569	Mercantile organization is a subclass of corporation
(documentation MercantileOrganization EnglishLanguage "Any Corporation which sells goods or services to customers for a profit.")	Merge.kif 16570-16571	Mercantile organization is a subclass of corporation
(externalImage MercantileOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0a/ AdamSmith.jpg")	pictureList.kif 8593-8593	Mercantile organization is a subclass of corporation
(externalImage MercantileOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 29/ Lorrain.seaport.jpg")	pictureList.kif 9422-9422	Mercantile organization is a subclass of corporation

appearance as argument number 2

(subclass WholesaleStore MercantileOrganization)	Mid-level-ontology.kif 9072-9072	Wholesale store is a subclass of mercantile organization
(subclass RetailStore MercantileOrganization)	Mid-level-ontology.kif 9086-9086	Retail store is a subclass of mercantile organization
(subclass ShoppingMall MercantileOrganization)	Mid-level-ontology.kif 9112-9112	Shopping mall is a subclass of mercantile organization
(subclass BusinessPark MercantileOrganization)	Society.kif 378-378	BusinessPark is a subclass of mercantile organization
(termFormat EnglishLanguage MercantileOrganization "mercantile organization")	domainEnglishFormat.kif 37151-37151	BusinessPark is a subclass of mercantile organization
(termFormat ChineseTraditionalLanguage MercantileOrganization "商業組織")	domainEnglishFormat.kif 37152-37152	BusinessPark is a subclass of mercantile organization
(termFormat ChineseLanguage MercantileOrganization "商业组织")	domainEnglishFormat.kif 37153-37153	BusinessPark is a subclass of mercantile organization

antecedent

(=>
    (instance ?ORG MercantileOrganization)
    (hasPurpose ?ORG
        (exists (?SELL)
            (and
                (instance ?SELL Selling)
                (instance ?SELL CommercialService)
                (agent ?SELL ?ORG)))))

If X is an instance of mercantile organization, then X has the purpose there exists Y such that Y is an instance of selling, Y is an instance of commercial service, and X is an agent of Y