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 144-145 | |
(subclass ValetParking ServiceProcess) | TransportDetail.kif 143-143 |
appearance as argument number 2 |
(termFormat EnglishLanguage ValetParking "valet parking") | TransportDetail.kif 146-146 |
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 153-172 | |
(=> (and (instance ?VP ValetParking) (patient ?VP ?VEHICLE) (instance ?A Arriving) (patient ?A ?VEHICLE)) (meetsTemporally (EndFn (WhenFn ?A)) (BeginFn (WhenFn ?VP)))) |
TransportDetail.kif 174-182 | |
(=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT))) |
TransportDetail.kif 148-151 |
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 153-172 |