TourArrangementAndReservationServices |
appearance as argument number 1 |
(documentation TourArrangementAndReservationServices EnglishLanguage "TourArrangementAndReservationServices refers to the service of arranging the taking of customers to %&TouristSites") | Hotel.kif 2330-2332 | |
(subAttribute TourArrangementAndReservationServices TravelArrangementAndReservationServices) | Hotel.kif 2329-2329 | TourArrangementAndReservationServices è un sottoattributo di TravelArrangementAndReservationServices |
appearance as argument number 2 |
(termFormat EnglishLanguage TourArrangementAndReservationServices "tour arrangement and reservation services") | Hotel.kif 2333-2334 |
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 2336-2346 |