TravelReservation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TravelReservation EnglishLanguage "TravelReservation refers to a Reservation that describes combined services for travel such as flight, hotels, etc")	Hotel.kif 2820-2821
(subclass TravelReservation Reservation)	Hotel.kif 2819-2819	TravelReservation è una sottoclasse di Reservation

appearance as argument number 2

Hotel.kif 2822-2822

antecedent

(=>
    (instance ?X TravelReservation)
    (modalAttribute
        (exists (?FLIGHT)
            (and
                (instance ?FLIGHT FlightReservation)
                (subProposition ?FLIGHT ?X))) Likely))

Hotel.kif 2824-2830

consequent

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

naics.kif 10451-10461