FlightReservation |
appearance as argument number 1 |
![]() |
(documentation FlightReservation EnglishLanguage "FlightReservation refers to a Reservation specifically for Airline flights") | Hotel.kif 2844-2845 | |
(subclass FlightReservation Reservation) | Hotel.kif 2843-2843 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage FlightReservation "flight reservation") | Hotel.kif 2846-2846 |
consequent |
![]() |
(=> (instance ?X TravelReservation) (modalAttribute (exists (?FLIGHT) (and (instance ?FLIGHT FlightReservation) (subProposition ?FLIGHT ?X))) Likely)) |
Hotel.kif 2835-2841 |
![]() |
![]() |