Valet
|
|
appearance as argument number 1 |
(documentation Valet EnglishLanguage "a %&Valet is a person whose primary occupation it is to park cars for people") | TransportDetail.kif 124-125 | |
(subclass Valet ServicePosition) | TransportDetail.kif 123-123 |
appearance as argument number 2 |
(termFormat EnglishLanguage Valet "valet") | TransportDetail.kif 126-126 |
antecedent |
(=> (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 132-141 | |
(=> (attribute ?H Valet) (occupation ?H (OccupationFn Driving))) |
TransportDetail.kif 128-130 |
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 | |
(=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT))) |
TransportDetail.kif 148-151 |