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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TourArrangementAndReservationServices
TourArrangementAndReservationServices(tour arrangement and reservation services)

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 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 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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