TourReservation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TourReservation EnglishLanguage "TourReservation refers to a Reservation specifically for TourService")	Hotel.kif 2838-2839
(subclass TourReservation Reservation)	Hotel.kif 2837-2837	TourReservation è una sottoclasse di Reservation

appearance as argument number 2

Hotel.kif 2840-2840

consequent

(=>
    (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 2336-2346