| 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 2831-2832 | |
| (subclass TravelReservation Reservation) | Hotel.kif 2830-2830 | Travel reservation is a subclass of reservation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TravelReservation "travel reservation") | Hotel.kif 2833-2833 |
| antecedent |
|
|
| (=> (instance ?X TravelReservation) (modalAttribute (exists (?FLIGHT) (and (instance ?FLIGHT FlightReservation) (subProposition ?FLIGHT ?X))) Likely)) |
Hotel.kif 2835-2841 |
|
| 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 |
|
|
|
|