Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ParkingLot
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ParkingLot GeographicArea) | TransportDetail.kif 77-77 | Parking lot is a subclass of geographic area |
| (documentation ParkingLot EnglishLanguage "A ParkingLot is a GeographicArea that contains greaterThan one [1] ParkingRegion") | TransportDetail.kif 78-79 | Parking lot is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PARK ParkingLot) (exists (?C ?N) (and (located ?C ?PARK) (forall (?SLOT) (=> (member ?SLOT ?C) (instance ?SLOT ParkingRegion))) (memberCount ?C ?N) (greaterThan ?N 1)))) |
TransportDetail.kif 82-92 | If X is an instance of parking lot, then there exist Y, Z such that Y is located at X, W W is a member of YW is an instance of parking area, Z is a member count of Y, and Z is greater than 1 |
| (=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (holdsDuring ?T (located ?CUST ?BLDG)) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring ?T (confersRight ?BUS ?CUST (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE))))) |
TransportDetail.kif 106-125 | If All of the following hold: (1) X possesses Y (2) X is an instance of commercial agent (3) Y is an instance of parking lot (4) Z is an instance of building (5) X is located at Z (6) W is a customer of X (7) W is located at Z holds during V (8) U is an instance of driving (9) T is a patient of U (10) W is an agent of U (11) U ends up at Z, then W allows S is an instance of keeping, S ends up at Y, and T is a patient of S to perform task of the type X holds during V |
| consequent |
|
|
| (=> (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 |
| (=> (instance ?PARK ParkingGarage) (exists (?LOT) (and (instance ?LOT ParkingLot) (located ?LOT ?PARK)))) |
TransportDetail.kif 97-102 | If X is an instance of parking garage, then there exists Y such that Y is an instance of parking lot and Y is located at X |
|