Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ParkingRegion(parking area) |  | parking_space, parking_zone |
| appearance as argument number 1 |
|
|
| (subclass ParkingRegion Region) | TransportDetail.kif 31-31 | Parking area is a subclass of region |
| (documentation ParkingRegion EnglishLanguage "A ParkingRegion is a Region where TransportationDevice is kept temporarily") | TransportDetail.kif 32-33 | Parking area is a subclass of region |
| (typicalPart ParkingRegion TransitTerminal) | Transportation.kif 4193-4193 | A parking area is typically a part of a transit terminal |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))))) |
TransportDetail.kif 36-44 | If X is an instance of parking area, then X has the purpose there exist Y, Z such that Y is an instance of putting, X plays role in event destination for Y, Z plays role in event patient for Y, and Z is an instance of transportation device |
| consequent |
|
|
| (=> (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 |
| (=> (attribute ?H Valet) (hasPurpose ?H (and (instance ?VEHICLE Vehicle) (instance ?PUT Putting) (destination ?PUT ?PARK) (instance ?PARK ParkingRegion) (patient ?PUT ?VEHICLE) (agent ?PUT ?H)))) |
TransportDetail.kif 136-145 | If valet is an attribute of X, then X has the purpose Y is an instance of vehicle, Z is an instance of putting, Z ends up at W, W is an instance of parking area, Y is a patient of Z, and X is an agent of Z |
| (=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (exists (?VALET) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP ?PARK) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility)))) |
TransportDetail.kif 157-176 | If All of the following hold: (1) X is capable of doing valet parking as a agent (2) X is a customer of Y (3) X is located at Z (4) W is an instance of arriving (5) Y is an agent of W (6) V is a patient of W (7) W ends up at Z, then All of the following hold: (1) there exists U such that U holds the position of valet in X (2) the statement there exist T (3) S such that T is an instance of valet parking (4) U is an agent of T (5) V is a patient of T (6) T ends up at S (7) S is an instance of parking area has the modal force of possibility |
|