|
|
   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 128-129 | |
| (subclass Valet ServicePosition) | TransportDetail.kif 127-127 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Valet "valet") | TransportDetail.kif 130-130 |
| 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 136-145 | |
| (=> (attribute ?H Valet) (occupation ?H (OccupationFn Driving))) |
TransportDetail.kif 132-134 |
| 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 | |
| (=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT))) |
TransportDetail.kif 152-155 |
|
|
|