SafetyDepositService |
appearance as argument number 1 |
(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 2256-2259 | |
(subclass SafetyDepositService ServiceProcess) | Hotel.kif 2255-2255 | SafetyDepositService e' uma sub-classe de ServiceProcess |
appearance as argument number 2 |
(termFormat EnglishLanguage SafetyDepositService "safety deposit box") | Hotel.kif 2260-2260 |
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 2262-2273 |
|