|
|
   StripMall
|
|
|
| appearance as argument number 1 |
|
|
| (documentation StripMall EnglishLanguage "A shopping mall where shops border a parking lot and there is no enclosed space for transiting between shops.") | Medicine.kif 5128-5130 | |
| (subclass StripMall ShoppingMall) | Medicine.kif 5127-5127 | StripMall est une sous-classe de ShoppingMall |
| 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 |
|
|
|