Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass ServiceProcess SocialInteraction) Merge.kif 11864-11864 服务 是 社交 的 subclass
(subclass ValetParking ServiceProcess) TransportDetail.kif 143-143 ValetParking 是 服务 的 subclass
(subclass TransportationService ServiceProcess) Transportation.kif 3335-3335 TransportationService 是 服务 的 subclass
(subclass CommercialService ServiceProcess) Merge.kif 11875-11875 商业服务 是 服务 的 subclass
(subclass LaundryService ServiceProcess) Hotel.kif 1780-1780 LaundryService 是 服务 的 subclass
(subclass DryCleaningService ServiceProcess) Hotel.kif 1804-1804 DryCleaningService 是 服务 的 subclass
(subclass ValetLaundryService ServiceProcess) Hotel.kif 1821-1821 ValetLaundryService 是 服务 的 subclass
(subclass IroningService ServiceProcess) Hotel.kif 1850-1850 IroningService 是 服务 的 subclass
(subclass ChildCareService ServiceProcess) Hotel.kif 1866-1866 ChildCareService 是 服务 的 subclass
(subclass RoomCleaningService ServiceProcess) Hotel.kif 1918-1918 RoomCleaningService 是 服务 的 subclass
(subclass TurndownService ServiceProcess) Hotel.kif 1948-1948 TurndownService 是 服务 的 subclass
(subclass RoomService ServiceProcess) Hotel.kif 1964-1964 RoomService 是 服务 的 subclass
(subclass WakeUpService ServiceProcess) Hotel.kif 1989-1989 WakeUpService 是 服务 的 subclass
(subclass TourService ServiceProcess) Hotel.kif 2082-2082 TourService 是 服务 的 subclass
(subclass CurrencyExchangeService ServiceProcess) Hotel.kif 2096-2096 CurrencyExchangeService 是 服务 的 subclass
(subclass PhotocopyingService ServiceProcess) Hotel.kif 2126-2126 PhotocopyingService 是 服务 的 subclass
(subclass CheckInService ServiceProcess) Hotel.kif 2148-2148 CheckInService 是 服务 的 subclass
(subclass CheckOutService ServiceProcess) Hotel.kif 2181-2181 CheckOutService 是 服务 的 subclass
(subclass ExecutiveService ServiceProcess) Hotel.kif 2240-2240 ExecutiveService 是 服务 的 subclass
(subclass SafetyDepositService ServiceProcess) Hotel.kif 2255-2255 SafetyDepositService 是 服务 的 subclass
(subclass MedicalService ServiceProcess) Hotel.kif 2275-2275 MedicalService 是 服务 的 subclass
(subclass SecretarialService ServiceProcess) Hotel.kif 2294-2294 SecretarialService 是 服务 的 subclass
(subclass CateringService ServiceProcess) Dining.kif 571-571 CateringService 是 服务 的 subclass


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