Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SafetyDepositService
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SafetyDepositService ServiceProcess) | Hotel.kif 2273-2273 | Safety deposit box is a subclass of service |
| (documentation SafetyDepositService EnglishLanguage "SafetyDepositService is a type of ServiceProcess that involves a serviceProvider Keeping objects for a customer in a SafeContainer. This could apply to a HotelFrontDesk keeping things in a safety deposit box, or a bank doing the same thing.") | Hotel.kif 2274-2277 | Safety deposit box is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SafetyDepositService "safety deposit box") | Hotel.kif 2278-2278 |
| antecedent |
|
|
| (=> (instance ?SVC SafetyDepositService) (exists (?SAFE ?KEEP ?OBJ ?AGENT) (and (serviceProvider ?SVC ?AGENT) (instance ?SAFE SafeContainer) (instance ?KEEP Keeping) (located ?KEEP ?SAFE) (possesses ?AGENT ?SAFE) (patient ?KEEP ?OBJ) (subProcess ?KEEP ?SVC) (not (possesses ?AGENT ?OBJ))))) |
Hotel.kif 2280-2291 | If X is an instance of safety deposit box, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V provides a service during X (3) Y is an instance of safe container (4) Z is an instance of keeping (5) Z is located at Y (6) V possesses Y (7) W is a patient of Z (8) Z is a subprocess of X (9) V doesn't possess W |
|