| RetailStore | |
| appearance as argument number 1 |
|
|
| (disjoint RetailStore WholesaleStore) | Mid-level-ontology.kif 8955-8955 | RetailStore est disjoint de WholesaleStore |
| (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 8957-8968 | RetailStore est disjoint de WholesaleStore |
| (subclass RetailStore MercantileOrganization) | Mid-level-ontology.kif 8954-8954 | RetailStore est une sous-classe de MercantileOrganization |
| appearance as argument number 2 |
|
|
| (instance Walmart RetailStore) | Medicine.kif 5175-5175 | Walmart est une instance de RetailStore |
| (subclass BookStore RetailStore) | Media.kif 1678-1678 | BookStore est une sous-classe de RetailStore |
| (subclass DrugStore RetailStore) | Mid-level-ontology.kif 8990-8990 | DrugStore est une sous-classe de RetailStore |
| (subclass GroceryStore RetailStore) | Mid-level-ontology.kif 9003-9003 | GroceryStore est une sous-classe de RetailStore |
| (termFormat ChineseLanguage RetailStore "零售店") | domainEnglishFormat.kif 49847-49847 | GroceryStore est une sous-classe de RetailStore |
| (termFormat ChineseTraditionalLanguage RetailStore "零售店") | domainEnglishFormat.kif 49846-49846 | GroceryStore est une sous-classe de RetailStore |
| (termFormat EnglishLanguage RetailStore "retail store") | domainEnglishFormat.kif 49845-49845 | GroceryStore est une sous-classe de RetailStore |
| 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 5117-5130 | |
| (=> (and (instance ?SM StripMall) (instance ?RS1 RetailStore) (part ?RS1 ?SM)) (exists (?PL) (and (instance ?PL ParkingLot) (orientation ?RS1 ?PL Adjacent)))) |
Medicine.kif 5132-5140 | |
| (=> (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 8970-8978 |
| consequent |
|
|
|
|
|