Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  USNonPrescriptionDrug
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ValetParking ServiceProcess) | TransportDetail.kif 147-147 | Valet parking is a subclass of service |
| (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 | Valet parking is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ValetParking "valet parking") | TransportDetail.kif 150-150 |
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?VP ValetParking) (patient ?VP ?VEHICLE) (instance ?A Arriving) (patient ?A ?VEHICLE)) (meetsTemporally (EndFn (WhenFn ?A)) (BeginFn (WhenFn ?VP)))) |
TransportDetail.kif 178-186 | If X is an instance of valet parking, Y is a patient of X, Z is an instance of arriving, and Y is a patient of Z, then the end of the time of existence of Z meets the beginning of the time of existence of X |
| 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 | 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 |
|