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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TravelArrangementAndReservationServices
TravelArrangementAndReservationServices(travel arrangement and reservation services)travel_arrangement_and_reservation_services, 旅行安排和預訂服務, 旅行安排和预订服务

appearance as argument number 1
-------------------------


(documentation TravelArrangementAndReservationServices EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Travel Arrangement and Reservation Services.") naics.kif 10370-10372
(relatedInternalConcept TravelArrangementAndReservationServices TourismIndustry) Economy.kif 1906-1906 Travel arrangement and reservation services is internally related to tourism industry
(subAttribute TravelArrangementAndReservationServices AdministrativeAndSupportServices) naics.kif 10368-10368 Travel arrangement and reservation services is a subattribute of administrative and support services

appearance as argument number 2
-------------------------


(subAttribute OtherTravelArrangementAndReservationServices TravelArrangementAndReservationServices) naics.kif 10398-10398 Other travel arrangement and reservation services is a subattribute of travel arrangement and reservation services
(subAttribute TourArrangementAndReservationServices TravelArrangementAndReservationServices) Hotel.kif 2275-2275 Tour arrangement and reservation services is a subattribute of travel arrangement and reservation services
(subAttribute TourOperators TravelArrangementAndReservationServices) naics.kif 10392-10392 Tour operators is a subattribute of travel arrangement and reservation services
(subAttribute TravelAgencies TravelArrangementAndReservationServices) naics.kif 10386-10386 Travel agencies is a subattribute of travel arrangement and reservation services
(termFormat ChineseLanguage TravelArrangementAndReservationServices "旅行安排和预订服务") domainEnglishFormat.kif 58999-58999 "旅行安排和预订服务" is the printable form of travel arrangement and reservation services in ChineseLanguage
(termFormat ChineseTraditionalLanguage TravelArrangementAndReservationServices "旅行安排和預訂服務") domainEnglishFormat.kif 58998-58998 "旅行安排和預訂服務" is the printable form of travel arrangement and reservation services in ChineseTraditionalLanguage
(termFormat EnglishLanguage TravelArrangementAndReservationServices "travel arrangement and reservation services") domainEnglishFormat.kif 58997-58997 "travel arrangement and reservation services" is the printable form of travel arrangement and reservation services in english language

antecedent
-------------------------


(=>
    (attribute ?X TravelArrangementAndReservationServices)
    (hasPurpose ?X
        (exists (?PROC ?RESERVE)
            (and
                (instance ?RESERVE TravelReservation)
                (instance ?PROC IntentionalProcess)
                (agent ?PROC ?X)
                (or
                    (result ?PROC ?RESERVE)
                    (patient ?PROC ?RESERVE))))))
naics.kif 10374-10384


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners