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

Formal Language: 



Term 1: Term 2:

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


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