Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RetailStore(retail store) |  | betting_shop, bodega, boutique, chain_store, clothing_store, department_store, dress_shop, emporium, haberdashery, haberdashery_store, mens_store, mercantile_establishment, outfitter, outlet, retail_store, sales_outlet, shoe-shop, shoe_shop, shoe_store, shop, specialty_store, store, strip_mall |
| appearance as argument number 1 |
|
|
| (subclass RetailStore MercantileOrganization) | Mid-level-ontology.kif 9086-9086 | Retail store is a subclass of mercantile organization |
| (disjoint RetailStore WholesaleStore) | Mid-level-ontology.kif 9087-9087 | Retail store is disjoint from wholesale store |
| (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 9089-9100 | Retail store is disjoint from wholesale store |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 9102-9110 | If X is an instance of retail store, then X is capable of doing selling as a agent and there exist Y, Z such that Z is an instance of selling, Z ends up at Y, and Y is an instance of human |
| (=> (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 5154-5167 | If All of the following hold: (1) X is an instance of strip mall (2) Y is an instance of retail store (3) Y is a part of X (4) Z is an instance of retail store (5) Z is a part of X (6) equal Y and Z, then there doesn't exist W such that W is an instance of hall, Y connects W, and Z |
| (=> (and (instance ?SM StripMall) (instance ?RS1 RetailStore) (part ?RS1 ?SM)) (exists (?PL) (and (instance ?PL ParkingLot) (orientation ?RS1 ?PL Adjacent)))) |
Medicine.kif 5169-5177 | If X is an instance of strip mall, Y is an instance of retail store, and Y is a part of X, then there exists Z such that Z is an instance of parking lot and Y is adjacent to Z |
| consequent |
|
|
|