| TravelReservation(travel reservation) | | reservation |
| 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 | Travel reservation is a subclass of reservation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TravelReservation "travel reservation") | 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 |
|
|
|
|