Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FlightReservation(flight reservation) |
| appearance as argument number 1 |
|
| (subclass FlightReservation Reservation) | Hotel.kif 2850-2850 | Flight reservation is a subclass of reservation |
| (documentation FlightReservation EnglishLanguage "FlightReservation refers to a Reservation specifically for Airline flights") | Hotel.kif 2851-2852 | Flight reservation is a subclass of reservation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlightReservation "flight reservation") | Hotel.kif 2853-2853 |
| consequent |
|
|
| (=> (instance ?X TravelReservation) (modalAttribute (exists (?FLIGHT) (and (instance ?FLIGHT FlightReservation) (subProposition ?FLIGHT ?X))) Likely)) |
Hotel.kif 2842-2848 | If X is an instance of travel reservation, then the statement there exists Y such that Y is an instance of flight reservation and Y is a sub-proposition of X has the modal force of likely |
|