TourArrangementAndReservationServices - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TourArrangementAndReservationServices EnglishLanguage "TourArrangementAndReservationServices refers to the service of arranging the taking of customers to %&TouristSites")	Hotel.kif 2341-2343
(subAttribute TourArrangementAndReservationServices TravelArrangementAndReservationServices)	Hotel.kif 2340-2340	Tour arrangement and reservation services is a subattribute of travel arrangement and reservation services

appearance as argument number 2

Hotel.kif 2344-2345

antecedent

(=>
    (attribute ?X TourArrangementAndReservationServices)
    (hasPurpose ?X
        (exists (?PROC ?RESERVE)
            (and
                (instance ?RESERVE TourReservation)
                (instance ?PROC IntentionalProcess)
                (agent ?PROC ?X)
                (or
                    (result ?PROC ?RESERVE)
                    (patient ?PROC ?RESERVE))))))

Hotel.kif 2347-2357