| ValetParking | |
| appearance as argument number 1 |
|
|
| (documentation ValetParking EnglishLanguage "ValetParking refers to the process of having a service employee of an establishment park a customer's car for him or her") | TransportDetail.kif 148-149 | |
| (subclass ValetParking ServiceProcess) | TransportDetail.kif 147-147 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ValetParking "valet parking") | TransportDetail.kif 150-150 |
| antecedent |
|
|
| (=> (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 | |
| (=> (and (instance ?VP ValetParking) (patient ?VP ?VEHICLE) (instance ?A Arriving) (patient ?A ?VEHICLE)) (meetsTemporally (EndFn (WhenFn ?A)) (BeginFn (WhenFn ?VP)))) |
TransportDetail.kif 178-186 | |
| (=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT))) |
TransportDetail.kif 152-155 |
| consequent |
|
|
| (=> (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 |
|
|
|