Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Valet(valet) |
| appearance as argument number 1 |
|
| (subclass Valet ServicePosition) | TransportDetail.kif 127-127 | Valet is a subclass of service position |
| (documentation Valet EnglishLanguage "a %&Valet is a person whose primary occupation it is to park cars for people") | TransportDetail.kif 128-129 | Valet is a subclass of service position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Valet "valet") | TransportDetail.kif 130-130 |
| antecedent |
|
|
| (=> (attribute ?H Valet) (occupation ?H (OccupationFn Driving))) |
TransportDetail.kif 132-134 | If valet is an attribute of X, then the occupation of driving is an occupation of X |
| (=> (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 |
| consequent |
|
|
| (=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT))) |
TransportDetail.kif 152-155 | If X is capable of doing valet parking as a agent, then there exists Y such that Y holds the position of valet in X |
| (=> (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 |
|