Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  connects
|
|
|
| appearance as argument number 1 |
|
|
| (subAttribute TourArrangementAndReservationServices TravelArrangementAndReservationServices) | Hotel.kif 2347-2347 | Tour arrangement and reservation services is a subattribute of travel arrangement and reservation services |
| (documentation TourArrangementAndReservationServices EnglishLanguage "TourArrangementAndReservationServices refers to the service of arranging the taking of customers to %&TouristSites") | Hotel.kif 2348-2350 | Tour arrangement and reservation services is a subattribute of travel arrangement and reservation services |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TourArrangementAndReservationServices "tour arrangement and reservation services") | Hotel.kif 2351-2352 |
| antecedent |
|
|
| (=> (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 |
|