Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TourArrangementAndReservationServices

Sigma KEE - TourArrangementAndReservationServices
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 est un sous-attribut de 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners