Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TravelReservation
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TravelReservation Reservation) | Hotel.kif 2837-2837 | Travel reservation is a subclass of reservation |
| (documentation TravelReservation EnglishLanguage "TravelReservation refers to a Reservation that describes combined services for travel such as flight, hotels, etc") | Hotel.kif 2838-2839 | Travel reservation is a subclass of reservation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TravelReservation "travel reservation") | Hotel.kif 2840-2840 |
| antecedent |
|
|
| (=> (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 |
| 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 10448-10458 | If travel arrangement and reservation services is an attribute of X, then X has the purpose there exist Y, Z such that Z is an instance of travel reservation, Y is an instance of intentional process, X is an agent of Y, and Z is a result of Y or Z is a patient of Y |
|