Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Chlorofluorocarbon
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TourReservation Reservation) | Hotel.kif 2855-2855 | Tour reservation is a subclass of reservation |
| (documentation TourReservation EnglishLanguage "TourReservation refers to a Reservation specifically for TourService") | Hotel.kif 2856-2857 | Tour reservation is a subclass of reservation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TourReservation "tour reservation") | Hotel.kif 2858-2858 |
| consequent |
|
|
| (=> (attribute ?X TourArrangementAndReservationServices) (hasPurpose ?X (exists (?PROC ?RESERVE) (and (instance ?RESERVE TourReservation) (instance ?PROC IntentionalProcess) (agent ?PROC ?X) (or (result ?PROC ?RESERVE) (patient ?PROC ?RESERVE)))))) |
Hotel.kif 2354-2364 | If tour 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 tour 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 |
|