RetailStore(零售店) |
appearance as argument number 1 |
(disjoint RetailStore WholesaleStore) | Mid-level-ontology.kif 7765-7765 | 零售店 和 % 2 是 disjoint |
(documentation RetailStore EnglishLanguage "A RetailStore is a MercantileOrganization that sells goods to customers who are end-point consumers, rather than to CommercialAgents who are buying the goods in order to resell them at a higher price. This distinguishes retail stores from wholesale establishments, where the purchasers are businesses or their representatives, as well as mail order or office buildings where transactions are facillitated but the consumer does not take possession of the item on the premises. More succinctly, RetailStore is the complement of WholesaleStore, which is the class of MercantileOrganizations that sell goods to the general public.") | Mid-level-ontology.kif 7767-7778 | |
(subclass RetailStore MercantileOrganization) | Mid-level-ontology.kif 7764-7764 | 零售店 是 商业组织 的 subclass |
appearance as argument number 2 |
(instance Walmart RetailStore) | Medicine.kif 5190-5190 | Walmart 是 零售店 的 instance |
(subclass BookStore RetailStore) | Media.kif 1678-1678 | BookStore 是 零售店 的 subclass |
(subclass DrugStore RetailStore) | Mid-level-ontology.kif 7800-7800 | 药店 是 零售店 的 subclass |
(subclass GroceryStore RetailStore) | Mid-level-ontology.kif 7813-7813 | 杂货店 是 零售店 的 subclass |
(termFormat ChineseLanguage RetailStore "零售店") | domainEnglishFormat.kif 49814-49814 | |
(termFormat ChineseTraditionalLanguage RetailStore "零售店") | domainEnglishFormat.kif 49813-49813 | |
(termFormat EnglishLanguage RetailStore "retail store") | domainEnglishFormat.kif 49812-49812 |
antecedent |
(=> (and (instance ?SM StripMall) (instance ?RS1 RetailStore) (part ?RS1 ?SM) (instance ?RS2 RetailStore) (part ?RS2 ?SM) (not (equal ?RS1 ?RS2))) (not (exists (?H) (and (instance ?H Hallway) (connects ?RS1 ?H ?RS2))))) |
Medicine.kif 5132-5145 | |
(=> (and (instance ?SM StripMall) (instance ?RS1 RetailStore) (part ?RS1 ?SM)) (exists (?PL) (and (instance ?PL ParkingLot) (orientation ?RS1 ?PL Adjacent)))) |
Medicine.kif 5147-5155 | |
(=> (instance ?X RetailStore) (and (capability Selling agent ?X) (exists (?P ?EV) (and (instance ?EV Selling) (destination ?EV ?P) (instance ?P Human))))) |
Mid-level-ontology.kif 7780-7788 |
consequent |
(=> (and (instance ?M ShoppingMall) (member ?S ?M)) (instance ?S RetailStore)) |
Mid-level-ontology.kif 7794-7798 | |
(=> (and (instance ?ORG Organization) (attribute ?ORG MiscellaneousStoreRetailers)) (exists (?EV ?MEM ?THING ?ST ?P) (and (member ?MEM ?ORG) (agent ?EV ?P) (instance ?EV Selling) (instance ?P Human) (instance ?ST RetailStore) (eventLocated ?EV ?ST) (instance ?THING Object) (patient ?EV ?THING)))) |
naics.kif 7752-7765 | |
(=> (and (instance ?ORG Organization) (attribute ?ORG NonstoreRetailers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?P) (and (instance ?EV Selling) (instance ?P Human) (instance ?THING Object) (not (eventLocated ?EV RetailStore)) (destination ?EV ?P) (patient ?EV ?THING)))))) |
naics.kif 7877-7893 | |
(=> (attribute ?X GiftNoveltyAndSouvenirStores) (and (instance ?X RetailStore) (hasPurpose ?X (exists (?SELL ?OBJ) (and (instance ?SELL Selling) (agent ?SELL ?X) (patient ?SELL ?OBJ) (instance ?OBJ Object)))))) |
naics.kif 7805-7815 |