serviceInstrument - Sigma Knowledge base Browser

appearance as argument number 1

(documentation serviceInstrument EnglishLanguage "(serviceInstrument ?EVENT ?OBJ) means that ?OBJect is the instrument of the service provided in ?EVENT.")	TravelPolicies.kif 764-764
(domain serviceInstrument 1 ServiceProcess)	TravelPolicies.kif 765-765	The number 1 argument of serviceInstrument is an instance of service
(domain serviceInstrument 2 Object)	TravelPolicies.kif 766-766	The number 2 argument of serviceInstrument is an instance of object
(instance serviceInstrument BinaryPredicate)	TravelPolicies.kif 767-767	serviceInstrument is an instance of binary predicate
(subrelation serviceInstrument instrument)	TravelPolicies.kif 768-768	serviceInstrument is a subrelation of instrument

consequent

(=>
    (instance ?AS AccommodationService)
    (exists (?HOTEL ?CUSTOMER ?ROOM)
        (and
            (instance ?HOTEL HotelOrganization)
            (instance ?CUSTOMER Human)
            (instance ?ROOM HotelUnit)
            (serviceProvider ?AS ?HOTEL)
            (serviceRecipient ?AS ?CUSTOMER)
            (serviceInstrument ?AS ?ROOM))))

If X is an instance of AccommodationService, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of HotelOrganization (3) Z is an instance of human (4) W is an instance of hotel unit (5) Y provides a service during X (6) Z receives a service during X (7) serviceInstrument X (8) W