| 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 16371-16372 | |
| (externalImage MercantileOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0a/ AdamSmith.jpg") | pictureList.kif 8593-8593 | |
| (externalImage MercantileOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 29/ Lorrain.seaport.jpg") | pictureList.kif 9422-9422 | |
| (subclass MercantileOrganization Corporation) | Merge.kif 16370-16370 |
| appearance as argument number 2 |
|
|
| (subclass RetailStore MercantileOrganization) | Mid-level-ontology.kif 8951-8951 | |
| (subclass ShoppingMall MercantileOrganization) | Mid-level-ontology.kif 8977-8977 | |
| (subclass WholesaleStore MercantileOrganization) | Mid-level-ontology.kif 8937-8937 | |
| (termFormat ChineseLanguage MercantileOrganization "商业组织") | domainEnglishFormat.kif 37177-37177 | |
| (termFormat ChineseTraditionalLanguage MercantileOrganization "商業組織") | domainEnglishFormat.kif 37176-37176 | |
| (termFormat EnglishLanguage MercantileOrganization "mercantile organization") | domainEnglishFormat.kif 37175-37175 |
| antecedent |
|
|
| (=> (instance ?ORG MercantileOrganization) (hasPurpose ?ORG (exists (?SELL) (and (instance ?SELL Selling) (instance ?SELL CommercialService) (agent ?SELL ?ORG))))) |
Merge.kif 16374-16381 |
|
|
|