Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   StripMall
|
|
|
| appearance as argument number 1 |
|
|
| (subclass StripMall ShoppingMall) | Medicine.kif 5148-5148 | Strip mall is a subclass of shopping mall |
| (documentation StripMall EnglishLanguage "A shopping mall where shops border a parking lot and there is no enclosed space for transiting between shops.") | Medicine.kif 5150-5152 | Strip mall is a subclass of shopping mall |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage StripMall "strip mall") | Medicine.kif 5149-5149 |
| 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 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 |
|