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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TravelArrangementAndReservationServices

Sigma KEE - TravelArrangementAndReservationServices
TravelArrangementAndReservationServices(旅行安排和預訂服務)

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 10447-10449
(relatedInternalConcept TravelArrangementAndReservationServices TourismIndustry) Economy.kif 1902-1902 相關的內部概念 旅行安排和預訂服務 and 旅遊產業
(subAttribute TravelArrangementAndReservationServices AdministrativeAndSupportServices) naics.kif 10445-10445 子屬性 旅行安排和預訂服務 and 行政和支持服務

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


(subAttribute OtherTravelArrangementAndReservationServices TravelArrangementAndReservationServices) naics.kif 10475-10475 子屬性 其他旅行安排和預訂服務 and 旅行安排和預訂服務
(subAttribute TourArrangementAndReservationServices TravelArrangementAndReservationServices) Hotel.kif 2329-2329 子屬性 TourArrangementAndReservationServices and 旅行安排和預訂服務
(subAttribute TourOperators TravelArrangementAndReservationServices) naics.kif 10469-10469 子屬性 旅遊經營者 and 旅行安排和預訂服務
(subAttribute TravelAgencies TravelArrangementAndReservationServices) naics.kif 10463-10463 子屬性 旅遊公司 and 旅行安排和預訂服務
(termFormat ChineseLanguage TravelArrangementAndReservationServices "旅行安排和预订服务") domainEnglishFormat.kif 59054-59054
(termFormat ChineseTraditionalLanguage TravelArrangementAndReservationServices "旅行安排和預訂服務") domainEnglishFormat.kif 59053-59053
(termFormat EnglishLanguage TravelArrangementAndReservationServices "travel arrangement and reservation services") domainEnglishFormat.kif 59052-59052

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 10451-10461


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